MathML
From MaRDI portal
Software:42581
No author found.
Related Items (13)
Formal Logic Definitions for Interchange Languages ⋮ Strategies for Parallel Markup ⋮ Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge ⋮ A scalable module system ⋮ Semantics of \textsc{OpenMath} and \textsc{MathML3} ⋮ Evolution of mathematical models of cardiomyocyte electrophysiology ⋮ Combining Source, Content, Presentation, Narration, and Relational Representation ⋮ BNF-style notation as it is actually used ⋮ Compensating the Computational Bias of Spreadsheets with MKM Techniques ⋮ Which One Is Better: Presentation-Based or Content-Based Math Search? ⋮ Flexary Operators for Formalized Mathematics ⋮ Towards Machine-Actionable Modules of a Digital Mathematics Library ⋮ The future of logic: foundation-independence
This page was built for software: MathML
