Authoring LeActiveMath Calculus Content

  • Paul Libbrecht
  • Christian Gross
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4108)


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.


Authoring Tool Authoring Environment Content Collection Content Dictionary Mathematical Knowledge Management 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bray, T., Paoli, J., Sperberg-McQueen, C.M.: Extensible Markup Language (XML). W3C Recommendation PR-xml-971208, World Wide Web Consortium (1997), Available at:
  2. 2.
    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: Google Scholar
  3. 3.
    Buswell, S., Caprotti, O., Carlisle, D., Dewar, M., Gaëtano, M., Kohlhase, M.: The OpenMath standard, version 2.0 (2004), Available at:
  4. 4.
    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)Google Scholar
  5. 5.
    Henry, G.: Connexions: An alternative approach to publishing. In: Heery, R., Lyon, L. (eds.) ECDL 2004. LNCS, vol. 3232, Springer, Heidelberg (2004)CrossRefGoogle Scholar
  6. 6.
    Kohlhase, A.: CPoints mathematical user interface. In: Proceedings of the MathUI Workshop. (2004), Online at:
  7. 7.
    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:
  8. 8.
    Kohlhase, M.: Semantic markup for TeX LaTeX. In: Proceedings of the MathUI Workshop (2004), see:
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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: MATHGoogle Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    Niss, M.: Mathematical competencies and the learning of mathematics: the danish KOM project. Technical report (2002), See:
  14. 14.
    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)CrossRefGoogle Scholar
  15. 15.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Paul Libbrecht
    • 1
  • Christian Gross
    • 2
  1. 1.DFKI GmbHSaarbrückenGermany
  2. 2.Ludwigs Maximilans UniverstitätMünchenGermany

Personalised recommendations