omdoc.sty/cls: Semantic Markup for Open Mathematical Documents in L A T E X
Michael Kohlhase · 2012
The omdoc package is part of the STEX collection, a version of TEX/LATEX that allows to markup TEX/LATEX documents semantically without leaving the document format, essentially turning TEX/LATEX into a document format for mathematical knowledge management (MKM). This package supplies an infrastructure for writing OMDoc documents in LATEX. This includes a simple structure sharing mechanism for STEX that allows to to move from a copy-and-paste document development model to a copy-and-reference model, which conserves space and simplies document management. The augmented structure can be used by MKM systems for added-value services, either directly from the STEX sources, or after translation.