Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • patch-1
2 results
Blame Permalink
Forked from KWARC / kwarc.info / www
773 commits behind the upstream repository.
omdoc.md 593 B 
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.

start_date: '1998'

people: 
    - mkohlhase

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.