BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Fiedler:Armin

Contributed to:

CADE 20022002
IJCAR 20012001
CADE 19971997
CADE 19961996

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.