swMATH30867MaRDI QIDQ42581FDOQ42581
Author name not available (Why is that?)
Official website: https://www.w3.org/Math/
Cited In (33)
- The future of logic: foundation-independence
- A scalable module system
- Compensating the Computational Bias of Spreadsheets with MKM Techniques
- Evolution of mathematical models of cardiomyocyte electrophysiology
- Combining source, content, presentation, narration, and relational representation
- Formal logic definitions for interchange languages
- Which one is better: presentation-based or content-based math search?
- Flexary operators for formalized mathematics
- Strategies for parallel markup
- OpenCOR
- LaTeXML
- MMT
- TNTBase
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge
- STEXIDE
- EgoMath
- arXMLiv
- LATIN
- Mathfind
- JSim
- sTeX
- CPoint
- ParsCit
- SACHS
- MLsub
- INFTY
- Metadata Editor
- Solr
- 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
This page was built for software: MathML
