Skip to main content Skip to main navigation


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, Pages 80-92, Lecture Notes in Computer Science (LNCS), Vol. 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