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...
|