According to our database1, Andreas Franke authored at least 6 papers between 1999 and 2002.
Legend:Book In proceedings Article PhD thesis Other
Proof Development with OMEGA.
Proceedings of the Automated Deduction, 2002
MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems.
J. Symb. Comput., 2001
System Description: MBASE, an Open Mathematical Knowledge Base.
Proceedings of the Automated Deduction, 2000
Agent-Oriented Integration of Distributed Mathematical Services.
J. UCS, 1999
MBase: Representing mathematical knowledge in a relational data base.
Electr. Notes Theor. Comput. Sci., 1999
System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving.
Proceedings of the Automated Deduction, 1999