Mathematical Knowledge Representation

OpenMath

Mathematical Knowledge Representation

General Description

Documentation

Examples

Software

References

http://www.openmath.org

Add new comment
1361 reads

MathQTI

to be completed

General Description

Documentation

Examples

Software

References

Add new comment
1333 reads

MathML

General Description

Documentation

Examples

Software

References

Add new comment
1156 reads

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.

European Commission

This web site is part of the JEM Thematic Network. Work is co-funded by the European Commission.
The content of this website is the sole responsibility of the thematic network members. It does not represent the opinion of the European Community and the Community is not responsible for any use that might be made of information contained herein. The last author of the page is solely responsible for its content. Unless otherwise stated, the content of the page is licensed under a Creative Commons Attribution-Share Alike 2.5 License.

Visits/hits in the last hour: 1 Visits | 1 Hits