---
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](https://uniformal.github.com), and we use the
[MMT System](https://uniformal.github.com) as the reference implementation.

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