论文信息 - System Description: MBASE, an Open Mathematical Knowledge Base

System Description: MBASE, an Open Mathematical Knowledge Base

In this paper we describe the MBase system, a web-based, distributed mathematical knowledge base. This system is a mathematical service in MathWeb that offers a universal repository of formalized mathematics where the formal representation allows semantics-based retrieval of distributed mathematical facts.

Michael Kohlhase | Andreas Franke

[1] Volker Sorge,et al. ΩMEGA : Towards a mathematical assistant , 1997 .

[2] Volker Sorge,et al. Omega: Towards a Mathematical Assistant , 1997, CADE.

[3] Gert Smolka,et al. The Oz Programming Model , 1996, Computer Science Today.

[4] Michael Kohlhase,et al. System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving , 1999, CADE.

[5] Dieter Hutter,et al. INKA: The Next Generation , 1996, CADE.

[6] Mary Meeker,et al. The Internet Report , 1996 .

[7] Michael Kohlhase,et al. MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems , 2001, J. Symb. Comput..

[8] Volker Sorge,et al. Agent-Oriented Integration of Distributed Mathematical Services , 1999, J. Univers. Comput. Sci..

[9] Arjeh M. Cohen,et al. CD-rom with the book "Algebra Interactive" , 1999 .