Mathematical knowledge is highly structured and hence in order to represent it adequately for computer based management one needs to provide a lot of additional annotations to the logical structure of mathematical documents. Annotating mathematical content is a time-consuming process, hence the content should be reusable for multiple purposes.
OMDoc format for the representation of mathematical knowledge which encodes the structure and semantics of mathematical documents in a reusable way. OMDoc is an extension of the Openmath standard for mathematical formulas to the standard for mathematical documents. That is, the representation of mathematical objects is extended by metadata and by the representation of structures commonly used by mathematicians such as theorems, definitions, explanations, exercises, motivations, introductions, proof methods, and proofs. OMDoc includes natural language formulations as well as formal OpenMath objects. In addition, dependencies and properties of instructional items are represented by metadata.
OMDoc contains metadata for structures, dependencies, and procedures which can be used for the (dynamic) generation of interactive documents with a flexible presentation and for consistently linking concepts in online documents. A good example of such an effective management of mathematical knowledge is ActiveMath system - an Interactive Learning Enviroment for Mathematics which uses OMDoc as a representation format for mathematical knowledge.