Authoring Semantic Mathematical Documents with QMath and OQMath

Paul Libbrecht

The ActiveMath Group, DFKI and Universität des Saarlandes

• Semantic Mathematical Documents
• Characteristics of a Semantic Mathematical Document
• Parts to be authored
• Editing Metadata
• Item text and internal structure
• Content for Interactive Sessions
• Mathematical Formulae
• Editing Mathematical Formulae
• QMath and OQMath
• Current tools proposed to authors
• Experience
• Tools to come
• Conclusions