Abstract
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics between these entities is based on the OpenMath standard and Java technology. But, for the management of the communication, more protocols and tools are needed. We describe an architecture that serves as a framework for our work on interactive documents, and we report on what we have implemented so far.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Amaya, W3C’s Editor/Browser, www.w3.org/Amaya.
Axiom interface to OpenMath. OpenMath ESPRIT Deliverable, 2000, www.nag.co.uk/projects/OpenMath/final/nodel0.htm.
A. E. Brouwer. Coding theory server, for bounds on the minimum distance of q-wry linear codes, q = 2, 3, 4, 5, 7, 8, 9, http://www.win.tue.nl/~aeb/ voorlincod.html.
O. Caprotti, A. M. Cohen, and M. Riem. Java Phrasebooks for Computer Algebra and Automated Deduction. SIGSAM Bulletin, 2000. Special Issue on Open-Math.
O. Caprotti and A.M. Cohen. Connecting proof checkers and computer algebra using OpenMath, pp. 109-112 in The 12th International Conference on Theorem Proving in Higher Order Logics (Y. Bertot, G. Dowek, A. Hirschowitz, C. Paulin, L. Théry eds.) Nice, France, September 1999. Springer Lecture Notes in Computer Science, vol. 1690.
O. Caprotti and M. Oostdijk. How to formally and efficiently prove prime(2999), in Proceedings of Calculemus 2000: 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, St. Andrews, Scotland, August 2000.
A.M. Cohen, H. Cuypers, H. Sterk. Algebra Interactive!, Interactive lecture notes on Algebra (paper book and CD-Rom), Springer-Verlag, Heidelberg, August 1999.
DocBook, http://www.docbook.org.
H. Barendregt and A.M. Cohen. Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants. J. Symbolic Computation 32 (2001) 3–22.
O. Caprotti, A.M. Cohen, D. Carlisle, The OpenMath Standard, monet.nag.co.uk/cocoon/openmath/standard/.
O. Caprotti, A. M. Cohen, H. Cuypers, H. Sterk. OpenMath Technology for Interactive Mathematical Documents, pp. 51-66 in Multimedia Tools for Communicating Mathematics (Jonathan Borwein, Maria H. Morales, Konrad Polthier, and José F. Rodrigues, editors), Springer-Verlag, Berlin, Heidelberg, 2002.
O. Caprotti, A. M. Cohen, H. Cuypers, M. N. Riem, and H. Sterk. Using OpenMath Servers for Distributing Mathematical Computations, pp. 325-336 in: ATCM 2000: Proceedings of the Fifth Asian Technology Conference in Mathematics, Chiang-Mai, Thailand, Wei Chi Yang, Sung-Chi Chu, Jen-Chung Chuan (eds.), ATCM, Inc., 2000.
A.M. Cohen, H. Cuypers, H. Sterk (eds.). Saine Tapas of Computer Algebra, Springer-Verlag, Heidelberg, 1999.
A.M. Cohen and L. Meertens. The ACELA project: Aims and Plans, pp. 7-23 in Computer-Human interaction in Symbolic Computation (ed. N. Kajler ), Texts and Monographs in Symbolic Computation, Springer-Verlag, Wien, 1998.
J.C. Faugère’s Polynomial Equations Server, www-calfor.lip6.fr/~jcf.
GAP interface to OpenMath. OpenMath ESPRIT Deliverable, 2000, www-groups.dcs.st-andrews.ac.uk/~gap/Info4/deposit.html.
JavaServer Pages, for dynamically generated Web content, java.sun.corn/ products/jsp/.
Jome: Java OpenMath editor, http://mainline.essi.fr.
Maple, the computer algebra system, www.maplesoft.com.
Mathematica, the computer algebra system, www.wolf ram.corn.
MATHML, Mathematical Markup Language, www.w3.org/TR/MathML2/.
MathWriter, Stilo’s editor for rapid generation of mathematical expressions for display and processing on the web (handles MATHML and OpenMath), STILO: www.stilo.corn.
Mozilla, a browser development project, www.mozilla.org.
OMDoc, a standard for open mathematical documents, www.mathweb.org/omdoc/.
OpenMath Society Website, www.openmath.org.
PolyLab Java Phrasebook for Maple, team.polylab.sfu.ca/~warp/openmath0.7.6.tar.
Prime Pages, http://www.utm.edu/research/primes.
ROML, The RIACA OpenMath Library, www.riaca. win. tue.n1.
J. Richter-Gebert and U. Kortenkamp. Cinderella. The interactive geometry software (book and CD-Rom), Springer-Verlag, Berlin, Heidelberg, 1999. See also
N.J.A. Sloane. Online Encyclopedia of Integer Sequences, www.research.at.com/~njas/sequences.
A. Solomon, C.A. Struble. JavaMath: an API for Internet accessible mathematical services, to appear in Proceedings of the Asian Symposium on Computer Mathematics (2001)
A. Solomon, Distributed Computing for Mathematical System Integration, to appear in this volume, 2001.
Webmathematica, Mathematica on the Web, www.wolfram.com/products/ webmathematica.
R. A. Wilson. Atlas of Finite Group Representations, www.. mat. bham. ac.uk/ atlas.
www.w3.org/XML/Query.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cohen, A.M., Cuypers, H., Barreiro, E.R., Sterk, H. (2003). Interactive Mathematical Documents on the Web. In: Joswig, M., Takayama, N. (eds) Algebra, Geometry and Software Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-05148-1_16
Download citation
DOI: https://doi.org/10.1007/978-3-662-05148-1_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05539-3
Online ISBN: 978-3-662-05148-1
eBook Packages: Springer Book Archive