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

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

1 2 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. Horozal, Fulya; Rabe, Florian: Formal logic definitions for interchange languages (2015)
  5. Kohlhase, Michael; Rabe, Florian; Zholudev, Vyacheslav: Towards MKM in the large: modular representation and scalable software architecture (2010)
  6. Geuvers, H.: Proof assistants: history, ideas and future (2009)
  7. Lange, Christoph; Kohlhase, Michael: A mathematical approach to ontology authoring and documentation (2009)
  8. Autexier, Serge; Fiedler, Armin; Neumann, Thomas; Wagner, Marc: Supporting user-defined notations when integrating scientific text-editors with proof assistance systems (2007)
  9. Billingsley, William; Robinson, Peter: Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book (2007)
  10. Wagner, Marc; Autexier, Serge; Benzmüller, Christoph: Plat$\Omega$: a mediator between text-editors and proof assistance systems (2007)
  11. Allen, S.F.; Bickford, M.; Constable, R.L.; Eaton, R.; Kreitz, C.; Lorigo, L.; Moran, E.: Innovations in computational type theory using Nuprl (2006)
  12. Brown, Chad E.: Verifying and invalidating textbook proofs using Scunak (2006)
  13. Kohlhase, Michael; Sucan, Ioan: A search engine for mathematical formulae (2006)
  14. Libbrecht, Paul; Gross, Christian: Authoring LeActiveMath calculus content (2006)
  15. Libbrecht, Paul; Melis, Erica: Methods to access and retrieve mathematical content in ActiveMath (2006)
  16. Sutcliffe, Geoff; Schulz, Stephan; Claessen, Koen; Van Gelder, Allen: Using the TPTP language for writing derivations and finite interpretations (2006)
  17. Weitl, Franz; Freitag, Burkhard: Checking content consistency of integrated web documents (2006)
  18. Krieg-Brückner, Bernd: Towards multimedia instruction in safe and secure systems (2005)
  19. Buchberger, Bruno: Algorithm-supported mathematical theory exploration: A personal view and strategy (2004)
  20. Cruz-Filipe, Luís; Geuvers, Herman; Wiedijk, Freek: C-CoRN, the constructive Coq repository at Nijmegen (2004)

1 2 next