diff --git a/systems/omdoc.md b/systems/omdoc.md index 983c5967aba8e520506ae29377325dc42fb5cd4e..357dde8b0711c950e716ef67aaa6cd9c8fe9c909 100644 --- a/systems/omdoc.md +++ b/systems/omdoc.md @@ -3,12 +3,23 @@ layout: system title: "OMDoc: Open Mathematical Documents" shorttitle: OMDoc -teaser: A markup format and data model for Open Mathematical Documents. It serves as semantics-oriented representation format and ontology language for mathematical knowledge. +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 @@ -16,4 +27,11 @@ 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. +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.