MathML

MathML is a low-level specification for mathematical and scientific content on the Web and beyond.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 13 articles )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Amuzescu, Bogdan; Airini, Razvan; Epureanu, Florin Bogdan; Mann, Stefan A.; Knott, Thomas; Radu, Beatrice Mihaela: Evolution of mathematical models of cardiomyocyte electrophysiology (2021)
  2. Carette, Jacques; Farmer, William M.; Kohlhase, Michael; Rabe, Florian: Big math and the one-brain barrier: the tetrapod model of mathematical knowledge (2021)
  3. Quinlan, Dee; Wells, Joe B.; Kamareddine, Fairouz: BNF-style notation as it is actually used (2019)
  4. Rabe, Florian: The future of logic: foundation-independence (2016)
  5. Horozal, Fulya; Rabe, Florian: Formal logic definitions for interchange languages (2015)
  6. Miller, Bruce R.: Strategies for parallel markup (2015)
  7. Horozal, Fulya; Rabe, Florian; Kohlhase, Michael: Flexary operators for formalized mathematics (2014)
  8. Nghiem, Minh-Quoc; Kristianto, Giovanni Yoko; Topić, Goran; Aizawa, Akiko: Which one is better: presentation-based or content-based math search? (2014)
  9. Rabe, Florian; Kohlhase, Michael: A scalable module system (2013)
  10. Růžička, Michal; Sojka, Petr; Krejčíř, Vlastimil: Towards machine-actionable modules of a digital mathematics library. The example of DML-CZ (2013)
  11. Kohlhase, Michael; Rabe, Florian: Semantics of \textscOpenMathand \textscMathML3 (2012)
  12. Horozal, Fulya; Iacob, Alin; Jucovschi, Constantin; Kohlhase, Michael; Rabe, Florian: Combining source, content, presentation, narration, and relational representation (2011)
  13. Kohlhase, Andrea; Kohlhase, Michael: Compensating the computational bias of spreadsheets with MKM techniques (2009)