Skip to search formSkip to main contentSkip to account menu

OMDoc

OMDoc (Open Mathematical Documents) is a semantic markup format for mathematical documents. While MathML only covers mathematical formulae and the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

12 relations
Automated theorem provingComputer algebra systemLaTeXLecture Notes in Computer Science

Broader (1)

Semantic Web

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
A Vernacular for Coherent Logic
We propose a simple, yet expressive proof representation from which proofs for different proof assistants can easily be generated… 
2011
2011
Combining Source, Content, Presentation, Narration, and Relational Representation
In this paper, we try to bridge the gap between different dimensions/ incarnations of mathematical knowledge: MKM representation… 
2010
2010
TNTBase – a Versioned XML Database
A huge amount of documents is created and changed in our everyday life, so that Version Control Systems like Git or SVN are… 
2010
2010
Change Management for Heterogeneous Development Graphs
The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal… 
2009
2009
An Architecture for Linguistic and Semantic Analysis on the arXMLiv Corpus
The ARXMLIV corpus is a remarkable collection of text containing scientific mathematical discourse. With more than half a million… 
2008
2008
MathWebSearch 0 . 4 A Semantic Search Engine for Mathematics
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations of… 
2008
2008
XML-based Format for Geometry XML-based Format for Descriptions of Geometrical Constructions and Geometrical Proofs
With a large number of tools focusing on visualising geometrical constructions or on proving properties of constructed objects… 
Review
2008
Review
2008
Computerizing Mathematical Text with MathLang
2007
2007
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems
In order to foster the use of proof assistance systems, we integrated the proof assistance system i¾?mega with the standard… 
2003
2003
Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge
We propose an infrastructure for collaborative content management and version control for structured mathematical knowledge. This… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)