Travelled to:1 × Australia
1 × Denmark
1 × France
Collaborated with:M.Kohlhase X.Huang E.Melis J.H.Siekmann M.Jamnik M.Pollet D.Nesmith J.Richts C.Benzmüller L.Cheikhrouhou D.Fehrer A.Fiedler K.Konrad A.Meier W.Schaarschmidt V.Sorge
Talks about:omega (3) mathemat (1) function (1) descript (1) toolkit (1) partial (1) environ (1) develop (1) toward (1) system (1)
Person: Manfred Kerber
DBLP: Kerber:Manfred
Facilitated 1 volumes:
EdContributed to:
200219971994Wrote 5 papers:
- CADE-2002-JamnikKP
- Learn Omega-matic: System Description (MJ, MK, MP), pp. 150–155.
- 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-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.
- CADE-1994-KerberK #logic
- A Mechanization of Strong Kleene Logic for Partial Functions (MK, MK), pp. 371–385.