×
Edit Profile (opens in new tab)

Fiedler, Armin

Co-Author Distance
Author ID: fiedler.armin Recent zbMATH articles by "Fiedler, Armin"
Published as: Fiedler, Armin; Fiedler, A.
Documents Indexed: 13 Publications since 1996
Co-Authors: 25 Co-Authors with 10 Joint Publications
323 Co-Co-Authors
all top 5

Co-Authors

2 single-authored
5 Benzmüller, Christoph Ewald
4 Horacek, Helmut
4 Meier, Andreas
4 Siekmann, Jörg H.
3 Autexier, Serge
3 Pollet, Martin
2 Cheikhrouhou, Lassaad
2 Huang, Xiaorong
2 Kohlhase, Michael
2 Melis, Erica
2 Normann, Immanuel
2 Sorge, Volker
1 Boiger, Romana
1 Brezhnev, Vladimir
1 Fehrer, Detlef
1 Franke, Andreas
1 Hasenauer, Jan
1 Kaltenbacher, Barbara
1 Kerber, Manfred
1 Konrad, Karsten
1 Moschner, Markus
1 Neumann, Thomas
1 Schaarschmidt, Wolf
1 Ullrich, Carsten A.
1 Vo, Bao Quoc
1 Wagner, Marc Oliver
1 Wirth, Claus-Peter
1 Zimmer, Jürgen

Serials

1 International Journal of Intelligent Systems
1 Inverse Problems in Science and Engineering
all top 5

Fields

12 Computer science (68-XX)
1 General and overarching topics; collections (00-XX)
1 Mathematical logic and foundations (03-XX)
1 Partial differential equations (35-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Numerical analysis (65-XX)
1 Operations research, mathematical programming (90-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

10 Publications have been cited 48 times in 36 Documents Cited by ▼ Year ▼
\(\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
10
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
7
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
7
2003
Proof development with \(\Omega\)MEGA: \(\sqrt{2}\) is irrational. Zbl 1023.68660
Siekmann, J.; Benzmüller, C.; Fiedler, A.; Meier, A.; Pollet, M.
6
2002
P. rex: An interactive proof explainer. Zbl 0988.68596
Fiedler, Armin
4
2001
Natural language proof explanation. Zbl 1098.68697
Fiedler, Armin
4
2005
Assertion-level proof representation with under-specification. Zbl 1271.68207
Autexier, Serge; Benzmüller, Christoph; Fiedler, Armin; Horacek, Helmut; Vo, Bao Quoc
4
2004
Presenting machine-found proofs. Zbl 1412.68235
Huang, Xiaorong; Fiedler, Armin
3
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
2
2007
Textbook proofs meet formal logic – the problem of underspecification and granularity. Zbl 1151.68659
Autexier, Serge; Fiedler, Armin
1
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
2
2007
Textbook proofs meet formal logic – the problem of underspecification and granularity. Zbl 1151.68659
Autexier, Serge; Fiedler, Armin
1
2006
Natural language proof explanation. Zbl 1098.68697
Fiedler, Armin
4
2005
Assertion-level proof representation with under-specification. Zbl 1271.68207
Autexier, Serge; Benzmüller, Christoph; Fiedler, Armin; Horacek, Helmut; Vo, Bao Quoc
4
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
7
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
7
2002
Proof development with \(\Omega\)MEGA: \(\sqrt{2}\) is irrational. Zbl 1023.68660
Siekmann, J.; Benzmüller, C.; Fiedler, A.; Meier, A.; Pollet, M.
6
2002
P. rex: An interactive proof explainer. Zbl 0988.68596
Fiedler, Armin
4
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
10
1997
Presenting machine-found proofs. Zbl 1412.68235
Huang, Xiaorong; Fiedler, Armin
3
1996
all cited Publications top 5 cited Publications
all top 5

Cited by 76 Authors

4 Melis, Erica
4 Paulson, Lawrence Charles
4 Siekmann, Jörg H.
3 Benzmüller, Christoph Ewald
3 Blanchette, Jasmin Christian
3 Böhme, Sascha
3 Kaliszyk, Cezary
2 Alrabbaa, Christian
2 Autexier, Serge
2 Baader, Franz
2 Borgwardt, Stefan
2 Fehrer, Detlef
2 Kohlhase, Michael
2 Koopmann, Patrick
2 Meier, Andreas
2 Meng, Jia
2 Sutcliffe, Geoff
2 Urban, Josef
2 Wagner, Marc Oliver
1 Andrews, Peter B.
1 Barsotti, Damián
1 Bradley, Elizabeth
1 Brauburger, Jürgen
1 Brown, Chad Edward
1 Budzyńska, Katarzyna
1 Calude, Cristian S.
1 Cheikhrouhou, Lassaad
1 Corneli, Joseph
1 Dachselt, Raimund
1 de Nivelle, Hans
1 Delahaye, David
1 Denney, Ewen
1 Dietrich, Dominik
1 Dixon, Lucas
1 Fiedler, Armin
1 Fischer, Bernd
1 Fleuriot, Jacques D.
1 Fleury, Mathias
1 Franke, Andreas
1 Gast, Holger
1 Gauthier, Thibault
1 Hogan, Apollo
1 Horacek, Helmut
1 Huang, Xiaorong
1 Kerber, Manfred
1 Kfoury, Assaf J.
1 Kolbe, Thomas H.
1 Konrad, Karsten
1 Kovtunova, Alisa
1 Kumar, Ramana
1 Lapets, Andrei
1 Lawrence, John
1 Lyaletski, Alexander V.
1 Mayero, Micaela
1 Mendez, Julian
1 Müller, Christine
1 Nieto, Leonor Prensa
1 Norrish, Michael
1 Paskevich, Andrei
1 Pease, Alison
1 Puzis, Yury
1 Quigley, Claire
1 Reed, Chris
1 Schaarschmidt, Wolf
1 Schulz, Ewaryst
1 Smolka, Steffen Juilf
1 Sorge, Volker
1 Steckermeier, Albert
1 Stolle, Reinhard
1 Tiu, Alwen Fernanto
1 Trac, Steven
1 Verchinine, Konstantin
1 Vyskočil, Jiří
1 Wirth, Claus-Peter
1 Zimmer, Jürgen
1 Zinn, Claus
all top 5

Cited in 8 Serials

6 Journal of Applied Logic
5 Journal of Automated Reasoning
3 Artificial Intelligence
3 Journal of Symbolic Computation
2 Information and Computation
1 Information Sciences
1 Formal Aspects of Computing
1 The Journal of Logic and Algebraic Programming

Cited in 3 Fields

35 Computer science (68-XX)
8 Mathematical logic and foundations (03-XX)
1 General and overarching topics; collections (00-XX)

Citations by Year