OMDoc

OMDoc is a markup format based on based on::XML for mathematical knowledge representation with numerous applications: creation of customized modules for e-learning, data exchange between different theorem provers, web services, and more. It has been invented by Michael Kohlhase. OMDoc can be used as an ontology language for mathematics: It allows for modeling an ontology of mathematics by formally modeling statements about mathematical concepts.


 * Homepage
 * Specification
 * Wiki for OMDoc and related projects
 * Wikipedia article

homepage:=http://www.omdoc.org