OMDoc

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 86 articles , 1 standard article )

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

1 2 3 4 5 next

  1. Kaliszyk, Cezary; Pąk, Karol: Semantics of Mizar as an Isabelle object logic (2019)
  2. Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol: The role of the Mizar mathematical library for interactive proof development in Mizar (2018)
  3. Betzendahl, Jonas; Kohlhase, Michael: Translating the IMPS theory library to MMT/OMDoc (2018)
  4. Rabe, Florian (ed.); Farmer, William M. (ed.); Passmore, Grant O. (ed.); Youssef, Abdou (ed.): Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. Proceedings (2018)
  5. Sperber, Wolfram: Mathematical research data, software, models, and the publication-based approach (2018)
  6. Kohlhase, Michael; De Feo, Luca; Müller, Dennis; Pfeiffer, Markus; Rabe, Florian; Thiéry, Nicolas M.; Vasilyev, Victor; Wiesing, Tom: Knowledge-based interoperability for mathematical software systems (2017)
  7. Kohlhase, Michael; Koprucki, Thomas; Müller, Dennis; Tabelow, Karsten: Mathematical models as research data via flexiformal theory graphs (2017)
  8. Kohlhase, Michael; Müller, Dennis; Owre, Sam; Rabe, Florian: Making PVS accessible to generic services by interpretation in a universal format (2017)
  9. Wiesing, Tom; Kohlhase, Michael; Rabe, Florian: Virtual theories -- a uniform interface to mathematical knowledge bases (2017)
  10. 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)
  11. 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)
  12. Kohlhase, Michael; Rabe, Florian: QED reloaded: towards a pluralistic formal library of mathematical knowledge (2016)
  13. Luzhnica, Enxhell; Kohlhase, Michael: Formula semantification and automated relation finding in the On-line Encyclopedia of Integer Sequences (2016)
  14. Rabe, Florian: The future of logic: foundation-independence (2016)
  15. 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)
  16. Grabowski, Adam (ed.); Korniłowicz, Artur (ed.); Naumowicz, Adam (ed.): Four decades of \textscMizar. Foreword (2015)
  17. Horozal, Fulya; Rabe, Florian: Formal logic definitions for interchange languages (2015)
  18. Iancu, Mihnea; Kohlhase, Michael: Math literate knowledge management via induced material (2015)
  19. Iancu, Mihnea; Kohlhase, Michael: A flexiformal model of knowledge dissemination and aggregation in mathematics (2015)
  20. Korniłowicz, Artur: Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (2015)

1 2 3 4 5 next