The following pages link to OMDoc (Q19193):
Displaying 8 items.
- Transforming large collections of scientific publications to XML (Q626929) (← links)
- Using La\TeX\ as a semantic markup format (Q841688) (← links)
- Semantics of \textsc{OpenMath} and \textsc{MathML3} (Q1948675) (← links)
- Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach (Q2817298) (← links)
- A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics (Q3453111) (← links)
- Formal Proof: Reconciling Correctness and Understanding (Q3637280) (← links)
- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice (Q3637290) (← links)
- Compensating the Computational Bias of Spreadsheets with MKM Techniques (Q3637291) (← links)
