Cited in
(33)- Strategies for parallel markup
- Combining source, content, presentation, narration, and relational representation
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge
- Semantics of \textsc{OpenMath} and \textsc{MathML3}
- Formal logic definitions for interchange languages
- OpenCOR
- LaTeXML
- MMT
- TNTBase
- Compensating the Computational Bias of Spreadsheets with MKM Techniques
- STEXIDE
- EgoMath
- arXMLiv
- LATIN
- Mathfind
- JSim
- sTeX
- CPoint
- ParsCit
- SACHS
- MLsub
- INFTY
- Metadata Editor
- Evolution of mathematical models of cardiomyocyte electrophysiology
- Solr
- LabHEART
- CESE
- The future of logic: foundation-independence
- A scalable module system
- Towards Machine-Actionable Modules of a Digital Mathematics Library
- Which one is better: presentation-based or content-based math search?
- Flexary operators for formalized mathematics
- BNF-style notation as it is actually used
This page was built for software: MathML
