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