Problems and solutions for markup for mathematical examples and exercises. (English) Zbl 1022.68615
Asperti, Andrea (ed.) et al., Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2594, 80-92 (2003).
Summary: 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.
For the entire collection see [Zbl 1015.00029].
For the entire collection see [Zbl 1015.00029].
MSC:
| 68T30 | Knowledge representation |
| 68U15 | Computing methodologies for text processing; mathematical typography |
