Part Ⅰ Setting the Stage for Open Mathematical Documents
1 Document Markup for the Web
2 Markup for Mathematical Knowledge
3 Open Mathematical Documents
Part Ⅱ An OMDoc Primer
4 Textbooks and Articles
5 OpenMath Content Dictionaris
6 Structured and Parametrized Theories
7 A Development Graph for Elementary Algebra
8 Courseware and the Narrative/Content Distinction
9 Communication Between Systems
Part Ⅲ The OMDoc Document Format
10 OMDoc as a Modular Format
11 Document Infrastructure
12 Metadata
13 Mathematical Objects
14 Mathematical Text
15 Mathematical Statements
16 Abstract Data Types
17 Representing Proofs
18 Complex Theories
19 Notation and Presentation
20 Auxiliary Elements
21 Exercises
22 Document Models for OMDoc
Part Ⅳ OMDoc Applications,Tools,and Projects
Part Ⅴ Appendix
Bibliography
Index