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

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

1 2 next

  1. 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)
  2. Kohlhase, Michael; Rabe, Florian; Zholudev, Vyacheslav: Towards MKM in the large: modular representation and scalable software architecture (2010)
  3. Geuvers, H.: Proof assistants: history, ideas and future (2009)
  4. Lange, Christoph; Kohlhase, Michael: A mathematical approach to ontology authoring and documentation (2009)
  5. Billingsley, William; Robinson, Peter: Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book (2007)
  6. Kaliszyk, Cezary: Web interfaces for proof assistants. (2007)
  7. Wagner, Marc; Autexier, Serge; Benzmüller, Christoph: Platomega: A mediator between text-editors and proof assistance systems. (2007)
  8. Allen, S.F.; Bickford, M.; Constable, R.L.; Eaton, R.; Kreitz, C.; Lorigo, L.; Moran, E.: Innovations in computational type theory using Nuprl (2006)
  9. Brown, Chad E.: Verifying and invalidating textbook proofs using Scunak (2006)
  10. Kohlhase, Michael; Sucan, Ioan: A search engine for mathematical formulae (2006)
  11. Libbrecht, Paul; Gross, Christian: Authoring LeActiveMath calculus content (2006)
  12. Libbrecht, Paul; Melis, Erica: Methods to access and retrieve mathematical content in ActiveMath (2006)
  13. Sutcliffe, Geoff; Schulz, Stephan; Claessen, Koen; Van Gelder, Allen: Using the TPTP language for writing derivations and finite interpretations (2006)
  14. Weitl, Franz; Freitag, Burkhard: Checking content consistency of integrated web documents (2006)
  15. Krieg-Brückner, Bernd: Towards multimedia instruction in safe and secure systems (2005)
  16. Buchberger, Bruno: Algorithm-supported mathematical theory exploration: A personal view and strategy (2004)
  17. Cruz-Filipe, Luís; Geuvers, Herman; Wiedijk, Freek: C-CoRN, the constructive Coq repository at Nijmegen (2004)
  18. Lorigo, Lori; Kleinberg, Jon; Eaton, Richard; Constable, Robert: A graph-based approach towards discerning inherent structures in a digital library of formal mathematics (2004)
  19. Lyaletski, Alexander; Paskevich, Andrey; Verchinine, Konstantin: Theorem proving and proof verification in the system SAD (2004)
  20. Melis, Erica; Meier, Andreas; Pollet, Martin: Adaptive access to a proof planner (2004)

1 2 next