A representation format is only as good as the respective tools and systems are. Therefore tool development will be the main concern in the next future.
- The main development platform is [jomdoc:WikiStart JOMDoc] (a Java-based OMDoc library).
- [mmt:WikiStart FLOMDoc] is an experimental library in SCALA.
- the semantic wiki SWiM for editing, browsing, and discussing OMDoc
- the CPoint system, allows to annotate M$ PowerPoint slides and export OMDoc
- The ActiveMath Project has provided some authoring tools as well.
- The sTeX system is a semantic extension of TeX/LaTeX that supports translation into OMDoc.
- and a bunch of XSL style files to present OMDoc to the user (part of the above-mentioned JOMDoc) and transform it into input formats of various mathematical software systems.
Projects that that endorse OMDoc (see also the systems below)
Systems that speak OMDoc (varying degrees of fluency)
- LambdaClam (an inductive theorem prover)
- INKA (another inductive theorem prover)
- TPS (a higher-order theorem prover)
- OMEGA (a mathematical assistant)
- VeriFun (a verifier for functional programs)
OMDoc Interfaces for Existing Systems