Login / Signup
Andreas Franke
Publication Activity (10 Years)
Years Active: 1999-2002
Publications (10 Years): 0
</>
Publications
</>
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
Proof Development with OMEGA.
CADE
(2002)
Michael Kohlhase
,
Andreas Franke
MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems.
J. Symb. Comput.
32 (4) (2001)
Andreas Franke
,
Michael Kohlhase
System Description: MBASE, an Open Mathematical Knowledge Base.
CADE
(2000)
Andreas Franke
,
Michael Kohlhase
MBase: Representing mathematical knowledge in a relational data base.
Calculemus
(1999)
Andreas Franke
,
Stephan M. Hess
,
Christoph G. Jung
,
Michael Kohlhase
,
Volker Sorge
Agent-Oriented Integration of Distributed Mathematical Services.
J. Univers. Comput. Sci.
5 (3) (1999)
Andreas Franke
,
Michael Kohlhase
System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving.
CADE
(1999)