Travelled to:1 × Denmark
1 × Italy
1 × USA
Collaborated with:M.Kohlhase J.H.Siekmann C.Benzmüller V.Brezhnev L.Cheikhrouhou A.Fiedler H.Horacek A.Meier E.Melis M.Moschner I.Normann M.Pollet V.Sorge C.Ullrich C.Wirth J.Zimmer
Talks about:descript (2) system (2) base (2) distribut (1) mathemat (1) knowledg (1) communic (1) theorem (1) develop (1) prove (1)
Person: Andreas Franke
DBLP: Franke:Andreas
Contributed to:
200220001999Wrote 3 papers:
- CADE-2002-SiekmannBBCFFHKMMMNPSUWZ #development #proving
- Proof Development with OMEGA (JHS, CB, VB, LC, AF, AF, HH, MK, AM, EM, MM, IN, MP, VS, CU, CPW, JZ), pp. 144–149.
- CADE-2000-FrankeK #knowledge base
- System Description: MBASE, an Open Mathematical Knowledge Base (AF, MK), pp. 455–459.
- CADE-1999-FrankeK #automation #communication #distributed #proving #theorem proving
- System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving (AF, MK), pp. 217–221.