MathML
From MaRDI portal
Software:42581
swMATH30867MaRDI QIDQ42581FDOQ42581
Author name not available (Why is that?)
Cited In (13)
- 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
- 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
This page was built for software: MathML
