From MathWeb

OMDoc

Based on	XML +
Developed by	Michael Kohlhase +
Funded by	Jacobs University Bremen +
Has application	Mathematical knowledge representation +
Homepage	http://www.omdoc.org  +
Instance of	Markup language +
MailinglistAddress	mailto:project-omdoc@jacobs-university.de  +, mailto:project-omdoc-dev@jacobs-university.de  +
MailinglistHomepage	http://lists.jacobs-university.de/mailman/listinfo/project-omdoc  +, http://lists.jacobs-university.de/mailman/listinfo/project-omdoc-dev  +
SVN URL	https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.2  +
Trac URL	https://trac.omdoc.org/OMDoc  +
Categories	OMDoc, Semantic markup language, Mathematical knowledge management, Ontology language, KWARC project

hide properties that link here

F-Logic in OMDoc +, Locutor +, MBase +, Metamath to OMDoc Bridge +, OMBase +, OMDoc client +, PhysML +, QMath +, STeX +	Based on
CPoint +, SWiM +, Sentido +	Edits
OMDoc (Book) +	Has topic
QMath +, STeX +	Notation for

 

Enter the name of the page to start browsing from.