`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:

### Wrote 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.