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)