System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving. - Andreas Franke 001; Michael Kohlhase (CADE, 1999)

MBase: Representing mathematical knowledge in a relational data base. - Andreas Franke 001; Michael Kohlhase (Calculemus, 1999)

Agent-Oriented Integration of Distributed Mathematical Services. - Andreas Franke 001; Stephan M. Hess; Christoph G. Jung; Michael Kohlhase; Volker Sorge (J. Univers. Comput. Sci., 1999)

System Description: MBASE, an Open Mathematical Knowledge Base. - Andreas Franke 001; Michael Kohlhase (CADE, 2000)

MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. - Michael Kohlhase; Andreas Franke 001 (J. Symb. Comput., 2001)

Proof Development with OMEGA. - Jörg H. Siekmann; Christoph Benzmüller; Vladimir Brezhnev; Lassaad Cheikhrouhou; Armin Fiedler; Andreas Franke 001; Helmut Horacek; Michael Kohlhase; Andreas Meier 002; Erica Melis; Markus Moschner; Immanuel Normann; et al. (CADE, 2002)