Problems and Solutions for Markup for Mathematical Examples and Exercises

Giorgi Goguadze, Erica Melis, Carsten Ullrich, Paul Cairns

In: A. Asperti , B. Buchberger , J. H. Davenport (Hrsg.). Proceedings of Second International Conference on Mathematical Knowledge Management. International Conference on Mathematical Knowledge Management (MKM-2003) February 16-18 Bertinoro Italy Seiten 80-92 Lecture Notes in Computer Science (LNCS) 2594 ISBN 0302-9743 (Print) 1611-3349 (Online) Springer-Verlag 2003.


This paper reports some deficiencies of the current status of the markup for mathematical documents, OMDoc, and proposes extensions. The observations described arose from trying to represent mathematical knowledge with the goal to present it according to several well-established teaching strategies for mathematics through the learning environment ACTIVEMATH. The main concern here is with examples, exercises, and proofs.

Weitere Links

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence