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