Andreas Franke

According to our database, Andreas Franke authored at least 6 papers between 1999 and 2002.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2002

Proof Development with OMEGA.

Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer

Proceedings of the Automated Deduction, 2002

2001

MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems.

Michael Kohlhase, Andreas Franke

J. Symb. Comput., 2001

2000

System Description: MBASE, an Open Mathematical Knowledge Base.

Andreas Franke, Michael Kohlhase

Proceedings of the Automated Deduction, 2000

1999

Agent-Oriented Integration of Distributed Mathematical Services.

Andreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, Volker Sorge

J. Univers. Comput. Sci., 1999

MBase: Representing mathematical knowledge in a relational data base.

Andreas Franke, Michael Kohlhase

Proceedings of the Systems for Integrated Computation and Deduction, 1999

System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving.

Andreas Franke, Michael Kohlhase

Proceedings of the Automated Deduction, 1999