OMDoc: Open Mathematical Documents
Based on the analysis of the structure inherent in mathematical knowledge and existing content markup systems for mathematics we will now briefly introduce basic design assumptions and the development history of the OMDoc format, situate it, and discuss possible applications.
KeywordsMathematical Knowledge Computer Algebra System Automate Theorem Prover Mathematical Document Proof Check
Unable to display preview. Download preview PDF.