Abstract
New technologies such as XML, XSL and both MathML and OpenMath make it possible to bring mathematics to the Internet. Indeed, OpenMath, a markup language for mathematical content, and OmDoc, its extension to mathematical documents, open a way of communicating mathematics between computers, between software applications and over the Internet without losing information. In this paper we describe the latest applications of OpenMath related technologies for Interactive Mathematical Documents. As an example we describe the way we incorporate these new technologies in a new version of Algebra Interactive, an interactive course on first and second year university algebra.
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
Ron Ausbrooks, Stephen Buswell, Stphane Dalmas, Stan Devitt, Angel Diaz, Roger Hunter, Bruce Smith, Neil Soiffer, Robert Sutor, and Stephen Watt. Mathematical Markup Language (MathML) Version 2.0. W3C Working Draft 28 March 2000, March 2000. Available at http://www.w3.org/TR/REC-MathML2/.
A. Capani, G. Niesi, and L. Robbiano. CoCoA, a system for doing Computations in Commutative Algebra, 1995. Available via anonymous ftp from http://www.cocoa.dima.unige.it.
O. Caprotti, A. M. Cohen, H. Cuypers, M. Riem, and H. Sterk. Using OpenMath Servers for Distributing Mathematical Computations. In 5th Asian Technology Conference in Mathematics, Chiang-Mai, Thailand, December 17–21, 2000.
O. Caprotti, A. M. Cohen, and M. Riem. JAVA Phrasebooks for Computer Algebra and Automated Deduction. SIGSAM Bulletin, 2000. Special Issue on OpenMath.
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.
Olga Caprotti and David Carlisle. OpenMath and MathML: Semantic Mark Up for Mathematics. Crossroad, Special Issue on Markup Languages, 1999. http://www.acm.org/crossroads.
Olga Caprotti and Arjeh Cohen. Connecting proof checkers and computer algebra using OpenMath. In The 12th International Conference on Theorem Proving in Higher Order Logics, Nice, France, September 1999.
Olga Caprotti and Arjeh Cohen. On the role of OpenMath in interactive mathematical documents. Journal of Symbolic Computation, Special Issue on the Integration of Computer algebra and Deduction Systems, 2000.
A. M. Cohen, H. Cuypers, and H. Sterk. Algebra Interactive!, Springer Verlag, 1999.
OpenMath Consortium. The OpenMath Standard, August 1999. O. Caprotti, D. P. Carlisle and A. M. Cohen (Eds).
OpenMath Consortium. Axiom interface to OpenMath. OpenMath ESPRIT Deliverable, 2000.
OpenMath Consortium. GAP interface to OpenMath. OpenMath ESPRIT Deliverable, 2000.
World Wide Web Consortium. Extensible Markup Language (XML) 1.0. W3C Recommendation REC-xml-19980210, February 1998. Available at http://www.w3.org/TR/1998/REC-xml-19980210.
S. Dalmas, M. Gaëtano, and S. Watt. An OpenMath 1.0 Implementation. pages 241–248. ACM Press, 1997.
The GAP Group, Aachen, St Andrews. GAP — Groups, Algorithms, and Programming, Version 4.2, 1999. http://www-gap.dcs.st-and.ac.uk/~gap.
M. Kohlhase. OMDoc: Towards an Internet Standard for the Administration, Distribution and Teaching of Mathematical Knowledge. In Proceedings of AISC’2000, Artificial Intelligence and Symbolic Computation, Theory, Implementations and Applications, Madrid, Spain, July 2000.
Michael Kohlhase and Andreas Franke. Mbase: Representing knowledge and context for the integration of mathematical software systems. Journal of Symbolic Computation, 2000. Special Issue on the Integration of Computer algebra and Deduction Systems.
OpenMath Society Website, http://www.openmath.org.
Stephen Wolfram. The Mathematica Book Fourth Edition. Cambridge University Press, 1999. http://documents.wolfram.com/framesv4/frames.html.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Caprotti, O., Cohen, A.M., Cuypers, H., Sterk, H. (2002). OpenMath Technology for Interactive Mathematical Documents. In: Borwein, J., Morales, M.H., Rodrigues, J.F., Polthier, K. (eds) Multimedia Tools for Communicating Mathematics. Mathematics and Visualization. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-56240-2_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-56240-2_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-62701-9
Online ISBN: 978-3-642-56240-2
eBook Packages: Springer Book Archive