MathML
From MaRDI portal
Software:42581
swMATH30867MaRDI QIDQ42581FDOQ42581
Author name not available (Why is that?)
Cited In (13)
- Which One Is Better: Presentation-Based or Content-Based Math Search?
- Flexary Operators for Formalized Mathematics
- 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
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge
- Formal Logic Definitions for Interchange Languages
- Strategies for Parallel Markup
- BNF-style notation as it is actually used
- Semantics of \textsc{OpenMath} and \textsc{MathML3}
- Towards Machine-Actionable Modules of a Digital Mathematics Library
- Combining Source, Content, Presentation, Narration, and Relational Representation
This page was built for software: MathML
