Jump to: navigation, search

OMDoc is a markup format 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 mathemat.css: It allows for modeling an ontology of mathemat.css by formally modeling statements about mathematical concepts.