Abstract
Within the LeActiveMath project, a collection of OMDoc files and supporting material has been realized. This content covers the derivative side of calculus and is being used by students in the LeActiveMath learning environment. LeAM-calculus is the first collection trying to make use of most of the features of the learning environment including advanced usages of OpenMath and OMDoc. It has been written in OQMath, a readable xml-syntax.
This paper describes the tools to produce it, how they were used and combined, the resulting content and the experience gained. It argues that the declaration of new OpenMath symbols is a requirement and explains challenges of authoring semantic mathematical content. Finally, it presents the management activities to support the authoring process.
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
Bray, T., Paoli, J., Sperberg-McQueen, C.M.: Extensible Markup Language (XML). W3C Recommendation PR-xml-971208, World Wide Web Consortium (1997), Available at: http://www.w3.org/TR/PR-xml.html
Brusilovsky, P.: Developing adaptive educational hypermedia systems: From design models to authoring tools. In: Murray, T., Blessing, S., Ainsworth, S. (eds.) Authoring Tools for Advanced Technology Learning Environment, Kluwer Academic Publishers, Dordrecht (2003), see: http://www2.sis.pitt.edu/~peterb/papers/KluwerAuthBook.pdf
Buswell, S., Caprotti, O., Carlisle, D., Dewar, M., Gaëtano, M., Kohlhase, M.: The OpenMath standard, version 2.0 (2004), Available at: http://www.openmath.org/
Goguadze, G., Palomo, A., Melis, E.: Interactivity of Exercises in ActiveMath. In: Proceedings of the 13th International Conference on Computers in Education (ICCE 2005), Singapore, pp. 107–113 (2005)
Henry, G.: Connexions: An alternative approach to publishing. In: Heery, R., Lyon, L. (eds.) ECDL 2004. LNCS, vol. 3232, Springer, Heidelberg (2004)
Kohlhase, A.: CPoints mathematical user interface. In: Proceedings of the MathUI Workshop. (2004), Online at: http://www.activemath.org/~paul/MathUI04/
Kohlhase, M.: omdoc: Towards an openmath representation of mathematical documents. In: Seki Report SR-00-02, Fachbereich Informatik, Universität des Saarlandes (2000), See also: http://www.mathweb.org/omdoc
Kohlhase, M.: Semantic markup for TeX LaTeX. In: Proceedings of the MathUI Workshop (2004), see: http://www.activemath.org/~paul/MathUI04/
Manzoor, S., Libbrecht, P., Ullrich, C., Melis, E.: Authoring presentation for openmath. In: Kohlhase, M. (ed.) MKM 2005. LNCS (LNAI), vol. 3863, pp. 33–48. Springer, Heidelberg (2006)
Melis, E., Kärger, P., Homik, M.: Interactive Concept Mapping in ActiveMath (iCMap). In: Haake, J.M., Lucke, U., Tavangarian, D. (eds.) Delfi 2005, Rostock, Germany, Gesellschaft für Informatik e.V (GI). LNI, vol. 66, pp. 247–258 (2005)
Melis, E., Büdenbender, J., Andrès, E., Frischauf, A., Goguadze, G., Libbrecht, P., Pollet, M., Ullrich, C.: Knowledge Representation and Management in ActiveMath. Annals of Mathematics and Artificial Intelligence, Special Issue on Management of Mathematical Knowledge 38(1–3), 47–64 (2003), Volume is accessible from: http://monet.nag.co.uk/mkm/amai/index.html
Murray, T.: Principles for pedagogy-oriented knowledge based tutor authoring systems: Lessons learned and a design meta-model. In: Murray, T., Blessing, S., Ainsworth, S. (eds.) Authoring Tools for Advanced Technology Learning Environment, Kluwer Academic Publishers, Dordrecht (2003)
Niss, M.: Mathematical competencies and the learning of mathematics: the danish KOM project. Technical report (2002), See: http://www7.nationalacademies.org/mseb/mathematical_competencies_and_the_learning_of_mathematics.pdf
Pollet, M., Sorge, V., Kerber, M.: Intuitive and Formal Representations: The Case of Matrices. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, Springer, Heidelberg (2004)
Ullrich, C.: Tutorial Planning: Adapting Course Generation to Today’s Needs. In: Grandbastien, M. (ed.) Young Researcher Track Proceedings of 12th International Conference on Artificial Intelligence in Education, Amsterdam, The Netherlands, pp. 155–160 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Libbrecht, P., Gross, C. (2006). Authoring LeActiveMath Calculus Content. In: Borwein, J.M., Farmer, W.M. (eds) Mathematical Knowledge Management. MKM 2006. Lecture Notes in Computer Science(), vol 4108. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11812289_20
Download citation
DOI: https://doi.org/10.1007/11812289_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37104-5
Online ISBN: 978-3-540-37106-9
eBook Packages: Computer ScienceComputer Science (R0)