MBase: A Mathematical Knowledge Base

A Mathematical Knowledge Base

is a collection of mathematical facts, such as definitions, theorems, or proofs. It can serve as a shared background for various deduction services. Since it establishes a semantics for objects handled by such systems, it can serve as the necessary ``glue'' that binds these services together to a joint system. On the other hand, the formal representation allows semantics-based retrieval of distributed mathematical facts, giving mathematicians a tool to access and query the present mathematical knowledge.

The MBase System

is a web-based, distributed mathematical knowledge base. This system is realized as a mathematical service in the MathWeb system, an implementation of a mathematical software bus for distributed theorem proving. It offers a universal repository of formalized mathematics where the formal representation allows semantics-based retrieval of distributed mathematical facts.


Dec. 15, 2003 MBase 0.8.1 has been released, featuring support for the upcoming OMDoc 1.2 standard and supporting deletion and update of content documents. Download...
July 1st, 2003 An updated developer distribution has support for the upcoming OMDoc 1.2 standard. Download...
Feb. 2003 Finally, a plug-and-play source distribution for developers is available. Get it now...
Aug. 23, 2002 MBase 0.8 is out! Download...
Aug. 19, 2002 The latest candidate (0.8rc4) for the first official MBase release is available. Furthermore, the linking problems on Solaris have been resolved, so that you can now for the first time get binary distributions for both Intel/Linux and Sparc/Solaris2.6 . Official Demo
June. 20, 2002 The library of the TPS theorem provers have been converted to OMDoc and loaded into MBase 0.8rc2.
© 2006 Copyrights KWARC. | XHTML 1.0 | CSS | Page generated from XML sources with the WSML package