\(\Omega\)mega: towards a mathematical assistant. Zbl 1430.68393
Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef; Fiedler, Armin; Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Konrad, Karsten; Meier, Andreas; Melis, Erica; Schaarschmidt, Wolf; Siekmann, Jörg; Sorge, Volker |
|
1997
|
Proof development with \(\Omega\)MEGA. Zbl 1072.68591
Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen |
|
2002
|
Proof development with \(\Omega\)MEGA: the irrationality of \(\sqrt 2\). Zbl 1063.68093
Siekmann, Jörg; Benzmüller, Christoph; Fiedler, Armin; Meier, Andreas; Normann, Immanuel; Pollet, Martin |
|
2003
|
Proof development with \(\Omega\)MEGA: \(\sqrt{2}\) is irrational. Zbl 1023.68660
Siekmann, J.; Benzmüller, C.; Fiedler, A.; Meier, A.; Pollet, M. |
|
2002
|
P. rex: An interactive proof explainer. Zbl 0988.68596
Fiedler, Armin |
|
2001
|
Natural language proof explanation. Zbl 1098.68697
Fiedler, Armin |
|
2005
|
Assertion-level proof representation with under-specification. Zbl 1271.68207
Autexier, Serge; Benzmüller, Christoph; Fiedler, Armin; Horacek, Helmut; Vo, Bao Quoc |
|
2004
|
Presenting machine-found proofs. Zbl 1412.68235
Huang, Xiaorong; Fiedler, Armin |
|
1996
|
Supporting user-defined notations when integrating scientific text-editors with proof assistance systems. Zbl 1202.68372
Autexier, Serge; Fiedler, Armin; Neumann, Thomas; Wagner, Marc |
|
2007
|
Textbook proofs meet formal logic – the problem of underspecification and granularity. Zbl 1151.68659
Autexier, Serge; Fiedler, Armin |
|
2006
|
Supporting user-defined notations when integrating scientific text-editors with proof assistance systems. Zbl 1202.68372
Autexier, Serge; Fiedler, Armin; Neumann, Thomas; Wagner, Marc |
|
2007
|
Textbook proofs meet formal logic – the problem of underspecification and granularity. Zbl 1151.68659
Autexier, Serge; Fiedler, Armin |
|
2006
|
Natural language proof explanation. Zbl 1098.68697
Fiedler, Armin |
|
2005
|
Assertion-level proof representation with under-specification. Zbl 1271.68207
Autexier, Serge; Benzmüller, Christoph; Fiedler, Armin; Horacek, Helmut; Vo, Bao Quoc |
|
2004
|
Proof development with \(\Omega\)MEGA: the irrationality of \(\sqrt 2\). Zbl 1063.68093
Siekmann, Jörg; Benzmüller, Christoph; Fiedler, Armin; Meier, Andreas; Normann, Immanuel; Pollet, Martin |
|
2003
|
Proof development with \(\Omega\)MEGA. Zbl 1072.68591
Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen |
|
2002
|
Proof development with \(\Omega\)MEGA: \(\sqrt{2}\) is irrational. Zbl 1023.68660
Siekmann, J.; Benzmüller, C.; Fiedler, A.; Meier, A.; Pollet, M. |
|
2002
|
P. rex: An interactive proof explainer. Zbl 0988.68596
Fiedler, Armin |
|
2001
|
\(\Omega\)mega: towards a mathematical assistant. Zbl 1430.68393
Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef; Fiedler, Armin; Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Konrad, Karsten; Meier, Andreas; Melis, Erica; Schaarschmidt, Wolf; Siekmann, Jörg; Sorge, Volker |
|
1997
|
Presenting machine-found proofs. Zbl 1412.68235
Huang, Xiaorong; Fiedler, Armin |
|
1996
|