Abstract
In this paper we introduce the concept of an interactive mathematical document. We give a formal description of such a document, which enables us to introduce the notion of a context as user and time dependent information regarding both mathematical and personal data. We also describe the realization of interactive mathematical documents within the MathDox system developed at Eindhoven University of Technology.
Similar content being viewed by others
References
Caprotti, O., Cohen, A.M., Cuypers, H., Riem, M.N., Sterk, H.: Using OpenMath servers for distributing mathematical computations. In: Wei Chi, Y., Sung-Chi, C., Jen-Chung, C. (eds.) Proceedings of the Fifth Asian Technology Conference in Mathematics. pp. 325–336 (2000)
Caprotti, O., Davenport, J., Dewar, M., Padget, J.: Mathematics on the (Semantic) NET. Lecture Notes in Computer Science, vol. 3053, pp. 213–224. http://monet.nag.co.uk/monet/ (2004)
Chaachoua, H., Nichaud, J., Bronner, A., Bouhineau, D.: APLUSIX, a learning environment for algebra, actual use and benefits. Proceeding of ICME-10: 10th International congress on Mathematical Education. http://aplusix.imag.fr (2004)
ConneXions. http://cnx.org
Corbalan G., Cuypers H., Paas F.: Het Leren van Lineaire Algebra: Effecten van Feedback op Motivatie en Efficiëntie van het Leren. Tijdschrift voor Didactiek der β-wetenschappen 26(1/2), 21–36 (2009)
CnXML, ConneXions markup language. http://cnx.org/aboutus/technology/cnxml
Cohen, A.M., Cuypers, H., Barreiro, E.R.: MathDox: mathematical documents on the web. In: Kohlhase, M. (ed.) OMDoc: an Open Markup Format for mathematical documents. pp. 262–265 (2006)
Cohen, A.M., Cuypers, H., Sterk, H.: Algebra Interactive. Springer, Berlin. An interactive version is under construction at http://dam02.win.tue.nl/mathadore/ida/bookframe.html (1999)
Cuypers, H., Cohen, A.M., Knopper, J.W., Verrijzer, R., Spanbroek, M.: MathDox—a system for interactive mathematics. In: Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications (EDMEDIA, pp. 5177–5182. MathDox, http://www.mathdox.org Manual, http://www.mathdox.org/player/ MathDox Formula Editor, http://mathdox.org/formulaeditor/ (2008)
Dahn, I.: Management of informal mathematical knowledge—lessons learned from the trial-solution project. Electronic information and communication in Mathematics, LNCS, pp. 29–43 (2003)
De Bra, P., Houben, G.J., Wu, H.: AHAM: a Dexter-based reference model for adaptive hypermedia. Proceedings of the tenth ACM Conference on Hypertext and Hypermedia: Returning to Our Diverse Roots, pp. 147–156 (1999)
De Bra, P.: Web-based educational hypermedia. In: Romero, C., Ventura, S. (eds.) Data Mining in E-Learning, WIT Press, Southampton, pp. 3–17 (2006)
Digital Mathematics Envirmonment. http://www.fi.uu.nl/dwo
Emilea-Stat. http://www.emilea.de
GAP—Groups, algorithms, programming—a system for computational discrete algebra. http://www.gap-system.org/gap.html
Gosling, J., Joy, B., Steele, G.: The Java Language Specification, 3rd edn., Addison-Wesley, Reading. http://java.sun.com (2005)
Halasz, F., Schwartz, M.: The dexter hypertext reference model. Commun. ACM 37(2), 30–39 (1994). http://java.sun.com/products/servlet/
Knot Theory. http://dam02.win.tue.nl/mathadore/knots/
Kohlhase, M., (ed.): OMDoc: An Open Markup Format for Mathematical Documents. Springer, Berlin (2006)
Kohlhase, M., Müller, C.: Semantic technologies for Mathematical elearning. preprint, JEM workshop 6 (2009)
Kohlhase, M., Müller, C.: Panta Rhei. Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings, In: Alexander, H. (ed.) pp. 318–323 (2007)
LeActiveMath. http://www.leactivemath.org
Maple. http://www.maplesoft.com
MapleTA. http://www.maplesoft.com
Mathadore. http://www.mathadore.nl
Mathematica, Wolfram Research, Inc., Mathematica Edition: Version 7.0, Wolfram Research. http://www.wolfram.com (2008)
Mathematical Markup Language (MathML) Version 2.0. http://www.w3.org/TR/MathML2/
Mathematical Markup Language (MathML) Version 3.0 (proposal). http://www.w3.org/TR/MathML3/
Melis, E., Siekmann, J.: Activemath: an intelligent tutoring system for mathematics. In: Proceedings of the International Conference on Artificial Intelligence and Soft Computing, pp. 91–101. http://www.activemath.org
OpenMath. http://www.openmath.org
Orbeon. http://www.orbeon.com
SAGE. http://www.sagemath.org
SCORM. http://www.adlnet.gov/Technologies/scorm/default.aspx
Sangwin, C.J., Grove, M.J.: STACK: addressing the needs of the neglected learners. In: Proceedings of the First WebALT Conference and Exhibition, pp. 81–95 (2006)
Walsh, N., Muellner, L.: DocBook: The Definitive Guide, 1st edn., O’Reilly, Sebastopol. 1999. http://www.oasis-open.org/docbook/
Wortel TU/e. http://wortel.tue.nl
XForms. http://www.w3.org/MarkUp/Forms/
XInclude. http://www.w3.org/TR/xinclude/
XPath. http://www.w3.org/TR/xpath/
XQuery. http://www.w3.org/TR/xquery/
Open Access
This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Cohen, A.M., Cuypers, H. & Verrijzer, R. Mathematical Context in Interactive Documents. Math.Comput.Sci. 3, 331–347 (2010). https://doi.org/10.1007/s11786-010-0026-5
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11786-010-0026-5