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 (editor). Proceedings of Second International Conference on Mathematical Knowledge Management. International Conference on Mathematical Knowledge Management (MKM-2003) February 16-18 Bertinoro Italy Pages 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

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