Problems and Solutions for Markup for Mathematical Examples and Exercises

  • Authors:
  • Georgi Goguadze;Erica Melis;Carsten Ullrich;Paul A. Cairns

  • Affiliations:
  • -;-;-;-

  • Venue:
  • MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.