omdoc.md

layout: system

title: "OMDoc: Open Mathematical Documents"
shorttitle: OMDoc
teaser: A markup format and data model for Open Mathematical Documents and Knowledge

start_date: '1998'

people: 
    - mkohlhase
    - miancu
    -  nmueller
    - frabe

supported-by:
    - Jem
    - mathsearch
    - omoc
    - openmath-tn
    - logosphere
    - once-cs

logo: public/omdoc_logo.png
website: http://omdoc.org
repository: https://github.com/OMDoc
publink: http://kwarc.github.io/bibs/omdoc

OMDoc is a markup format and data model for Open Mathematical Documents. It serves as semantics-oriented representation format and ontology language for mathematical knowledge. The formal part of OMDoc has been refined into the MMT format, and we use the MMT System as the reference implementation.

We are currently working on extending MMT to cover the full flexiformal coverage of OMDoc.