Live briefing
Everything about OMDoc
OMDoc 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. Wikipedia →
🧠Start here: a 6-step reading path
- Read the overview: OMDocA 5-minute orientation
- Pick up a classic book: OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]The most-reprinted book on the subject
- Read the landmark paper: The Mizar Mathematical Library in OMDoc: Translation and ApplicationsCited 32 times
- Go sideways: OpenMathA closely related topic
- Go sideways: MathMLA closely related topic
đź“– Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
đź“š Books worth reading
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]Michael Kohlhase · 2006
Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web IntegrationC. Lange · 2011
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
đź”— Related topics
- OpenMath OpenMath is the name of a markup language for specifying the meaning of mathematical formulae. Among other things, it can be used to complement MathML…
- MathML Mathematical Markup Language (MathML) is a pair of mathematical markup languages, an application of XML for describing mathematical notation and capturing…
- Comparison of document markup languages The following tables compare general and technical information for a number of document markup languages. Please see the individual markup languages' articles…
- List of document markup languages The following is a list of document markup languages. You may also find the List of markup languages of interest. HyperText Markup Language (HTML) – an…
- Michael Kohlhase Michael Kohlhase (born 13 September 1964, in Erlangen) is a German computer scientist and professor at University of Erlangen–Nuremberg, where he is head…
- Formula editor A formula editor, also known as an equation editor, is a computer program that is used to typeset mathematical formulas and mathematical expressions. Formula…
- LaTeXML LaTeXML is a free public domain software package which converts LaTeX documents to XML, HTML, EPUB, JATS and TEI. LaTeXML's primary output format is an…
- List of XML markup languages This is a list of notable XML markup languages. Contents: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z AdsML Markup language used for interchange…