Semantic encoding: OMdoc

  • OMdoc is an XML language for mathematical documents
  • based on the OpenMath (european) standard
  • Has such items as definition, proof, example, assertion
  • Allows dual encoding: for humans and for machines
  • all mathematical formulas are in OpenMath
  • ontology is extensible (symbols have definitions !)
  • has several XSL stylesheets for conversion to HTML, LaTeX, math systems...
<- ->