`Travelled to:`

1 × Australia

1 × Denmark

1 × Estonia

1 × France

1 × USA

1 × United Kingdom

`Collaborated with:`

A.Meier J.Whittle J.H.Siekmann M.Kohlhase X.Huang M.Kerber D.Nesmith J.Richts C.Benzmüller L.Cheikhrouhou A.Fiedler V.Sorge D.Fehrer K.Konrad W.Schaarschmidt V.Brezhnev A.Franke H.Horacek M.Moschner I.Normann M.Pollet C.Ullrich C.Wirth J.Zimmer

`Talks about:`

proof (4) omega (3) strategi (2) develop (2) multi (2) mathemat (1) descript (1) toolkit (1) theorem (1) planner (1)

## Person: Erica Melis

### DBLP: Melis:Erica

### Contributed to:

### Wrote 7 papers:

- CADE-2005-MeierM #multi #proving #theorem proving
- System Description: Multi A Multi-strategy Proof Planner (AM, EM), pp. 250–254.
- 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.
- CL-2000-MelisM #multi #proving #theorem proving
- Proof Planning with Multiple Strategies (EM, AM), pp. 644–659.
- CADE-1997-BenzmullerCFFHKKKMMSSS #named #towards
- Omega: Towards a Mathematical Assistant (CB, LC, DF, AF, XH, MK, MK, KK, AM, EM, WS, JHS, VS), pp. 252–255.
- CADE-1996-MelisW #proving #theorem proving
- Internal Analogy in Theorem Proving (EM, JW), pp. 92–105.
- CADE-1994-HuangKKMNRS #development #named #proving
- Omega-MKRP: A Proof Development Environment (XH, MK, MK, EM, DN, JR, JHS), pp. 788–792.
- CADE-1994-HuangKKMNRS94a #automation #deduction #named #tool support
- KEIM: A Toolkit for Automated Deduction (XH, MK, MK, EM, DN, JR, JHS), pp. 807–810.