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:
20052002
2000199719961994Wrote 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.