Mathematical Knowledge Representation

Versione stampabile

OpenMath

General Description

Documentation

Examples

Software

References

MathQTI

to be completed

General Description

Documentation

Examples

Software

References

MathML

General Description

Documentation

Examples

Software

References

OMDoc

OMDoc (Open Mathematical Documents) is a semantic markup format for mathematical documents. While MathML only covers mathematical formulae and the related OpenMath standard only supports formulae and "content dictionaries" containing definitions of the symbols used in formulae, OMDoc covers the whole range of written mathematics.

Coverage

OMDoc allows for mathematical expressions on three levels:

Object level
formulae, written in Content MathML (the non-presentational subset of MathML), OpenMath or languages for mathematical logic.