OMDOC: Towards an internet standard for the administration, distribution, and teaching of mathematical knowledge. In this paper we present an extension OMDOC to the OPENMATH standard that allows the representation of the semantics and structure of various kinds of mathematical documents, including articles, textbooks, interactive books, courses. It can serve as the content language for agent communication of mathematical services on a mathematical software bus.

References in zbMATH (referenced in 69 articles , 1 standard article )

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

1 2 3 4 next

  1. Kohlhase, Michael; Koprucki, Thomas; Müller, Dennis; Tabelow, Karsten: Mathematical models as research data via flexiformal theory graphs (2017)
  2. Kohlhase, Michael; Müller, Dennis; Owre, Sam; Rabe, Florian: Making PVS accessible to generic services by interpretation in a universal format (2017)
  3. Dehaye, Paul-Olivier; Iancu, Mihnea; Kohlhase, Michael; Konovalov, Alexander; Lelièvre, Samuel; Müller, Dennis; Pfeiffer, Markus; Rabe, Florian; Thiéry, Nicolas M.; Wiesing, Tom: Interoperability in the OpenDreamKit project: the math-in-the-middle approach (2016)
  4. Ginev, Deyan; Iancu, Mihnea; Jucovshi, Constantin; Kohlhase, Andrea; Kohlhase, Michael; Oripov, Akbar; Schefter, Jürgen; Sperber, Wolfram; Teschke, Olaf; Wiesing, Tom: The SMGloM project and system: towards a terminology and ontology for mathematics (2016)
  5. Rabe, Florian: The future of logic: foundation-independence (2016)
  6. Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol; Urban, Josef: Mizar: state-of-the-art and beyond (2015)
  7. Grabowski, Adam (ed.); Korniłowicz, Artur (ed.); Naumowicz, Adam (ed.): Four decades of Mizar. Foreword (2015)
  8. Horozal, Fulya; Rabe, Florian: Formal logic definitions for interchange languages (2015)
  9. Iancu, Mihnea; Kohlhase, Michael: A flexiformal model of knowledge dissemination and aggregation in mathematics (2015)
  10. Korniłowicz, Artur: Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (2015)
  11. Korniłowicz, Artur: Flexary connectives in Mizar (2015)
  12. van der Hoeven, Joris: Towards semantic mathematical editing (2015)
  13. Elizarov, A. M.; Kirillovich, A. V.; Lipachev, E. K.; Nevzorova, O. A.; Solovyev, V. D.; Zhiltsov, N. G.: Mathematical knowledge representation: semantic models and formalisms (2014)
  14. Iancu, Mihnea; Jucovschi, Constantin; Kohlhase, Michael; Wiesing, Tom: System description: (2014)
  15. Kaliszyk, Cezary; Rabe, Florian: Towards knowledge management for HOL Light (2014)
  16. Kohlhase, Michael: A data model and encoding for a semantic, multilingual terminology of mathematics (2014)
  17. Stojanović, Sana; Narboux, Julien; Bezem, Marc; Janičić, Predrag: A vernacular for coherent logic (2014)
  18. Iancu, Mihnea; Kohlhase, Michael; Rabe, Florian; Urban, Josef: The Mizar Mathematical Library in OMDoc: translation and applications (2013)
  19. Rabe, Florian; Kohlhase, Michael: A scalable module system (2013)
  20. Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian: A proof theoretic interpretation of model theoretic hiding (2012)

1 2 3 4 next