Travelled to:1 × Australia
1 × Denmark
1 × Italy
1 × USA
Collaborated with:X.Huang ∅ J.H.Siekmann C.Benzmüller L.Cheikhrouhou M.Kohlhase A.Meier E.Melis V.Sorge D.Fehrer M.Kerber 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 (3) omega (2) mathemat (1) interact (1) present (1) explain (1) develop (1) toward (1) machin (1) assist (1)
Person: Armin Fiedler
DBLP: Fiedler:Armin
Contributed to:
2002
200119971996Wrote 4 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.
- IJCAR-2001-Fiedler #interactive #proving
- P.rex: An Interactive Proof Explainer (AF), pp. 416–420.
- 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-HuangF #proving
- Presenting Machine-Found Proofs (XH, AF), pp. 221–225.