OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge

Authors:
Michael Kohlhase
Affiliations:
-
Venue:
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Year:
2000

Citing 11
Cited 6

Extensible markup language

World Wide Web Journal - Special issue on XML: principles, tools, and techniques
Generating inference-rich discourse through revisions of RST-Trees

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
MBase: representing knowledge and context for the intergration of mathematical software systems

Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Towards an Evolutionary Formal Software-Development Using CASL

WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
The PROSPER Toolkit

TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
An Interface between Clam and HOL

Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics
Presenting Machine-Found Proofs

CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving

CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
System Description: MBASE, an Open Mathematical Knowledge Base

CADE-17 Proceedings of the 17th International Conference on Automated Deduction
Omega: Towards a Mathematical Assistant

CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Using a cognitive architecture to plan dialogs for the adaptive explanation of proofs

IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1

Digitisation, Representation, and Formalisation

MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
Verifying and invalidating textbook proofs using scunak

MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Engineering mathematical knowledge

MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Using the TPTP language for writing derivations and finite interpretations

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Design of automation systems for web based courseware using XML and XSLT

DNIS'05 Proceedings of the 4th international conference on Databases in Networked Information Systems
XML-Based formats and tools to produce braille documents

ICCHP'12 Proceedings of the 13th international conference on Computers Helping People with Special Needs - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present an extension OMDoc to the OPEN-MATH 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.