×
Edit Profile (opens in new tab)

Immler, Fabian

Co-Author Distance
Author ID: immler.fabian Recent zbMATH articles by "Immler, Fabian"
Published as: Immler, Fabian
Videos: carmin.tv
Documents Indexed: 9 Publications since 2012
Co-Authors: 8 Co-Authors with 7 Joint Publications
115 Co-Co-Authors
all top 5

Co-Authors

2 single-authored
2 Hölzl, Johannes
2 Traut, Christoph
1 Althoff, Matthias
1 Maletzky, Alexander
1 Rädle, Jonas
1 Rizaldi, Albert
1 Schürmann, Bastian
1 Wenzel, Makarius

Serials

2 Journal of Automated Reasoning
all top 5

Fields

9 Computer science (68-XX)
5 Ordinary differential equations (34-XX)
4 Dynamical systems and ergodic theory (37-XX)
4 Numerical analysis (65-XX)
2 Mathematical logic and foundations (03-XX)
1 Commutative algebra (13-XX)
1 Systems theory; control (93-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

8 Publications have been cited 83 times in 58 Documents Cited by ▼ Year ▼
Type classes and filters for mathematical analysis in Isabelle/HOL. Zbl 1317.68213
Hölzl, Johannes; Immler, Fabian; Huffman, Brian
37
2013
Numerical analysis of ordinary differential equations in Isabelle/HOL. Zbl 1360.68753
Immler, Fabian; Hölzl, Johannes
18
2012
The flow of ODEs. Zbl 1468.68324
Immler, Fabian; Traut, Christoph
8
2016
A verified ODE solver and the Lorenz attractor. Zbl 1448.68460
Immler, Fabian
8
2018
Gröbner bases of modules and Faugère’s \(F_4\) algorithm in Isabelle/HOL. Zbl 1417.68189
Maletzky, Alexander; Immler, Fabian
5
2018
The flow of ODEs: formalization of variational equation and Poincaré map. Zbl 1468.68325
Immler, Fabian; Traut, Christoph
4
2019
A formally verified motion planner for autonomous vehicles. Zbl 1517.68251
Rizaldi, Albert; Immler, Fabian; Schürmann, Bastian; Althoff, Matthias
2
2018
A verified enclosure for the Lorenz attractor (rough diamond). Zbl 1465.65040
Immler, Fabian
1
2015
The flow of ODEs: formalization of variational equation and Poincaré map. Zbl 1468.68325
Immler, Fabian; Traut, Christoph
4
2019
A verified ODE solver and the Lorenz attractor. Zbl 1448.68460
Immler, Fabian
8
2018
Gröbner bases of modules and Faugère’s \(F_4\) algorithm in Isabelle/HOL. Zbl 1417.68189
Maletzky, Alexander; Immler, Fabian
5
2018
A formally verified motion planner for autonomous vehicles. Zbl 1517.68251
Rizaldi, Albert; Immler, Fabian; Schürmann, Bastian; Althoff, Matthias
2
2018
The flow of ODEs. Zbl 1468.68324
Immler, Fabian; Traut, Christoph
8
2016
A verified enclosure for the Lorenz attractor (rough diamond). Zbl 1465.65040
Immler, Fabian
1
2015
Type classes and filters for mathematical analysis in Isabelle/HOL. Zbl 1317.68213
Hölzl, Johannes; Immler, Fabian; Huffman, Brian
37
2013
Numerical analysis of ordinary differential equations in Isabelle/HOL. Zbl 1360.68753
Immler, Fabian; Hölzl, Johannes
18
2012
all cited Publications top 5 cited Publications
all top 5

Cited by 94 Authors

7 Paulson, Lawrence Charles
4 Blanchette, Jasmin Christian
4 Immler, Fabian
3 Boldo, Sylvie
3 Li, Wenda
3 Nipkow, Tobias
3 Théry, Laurent
2 Abdulaziz, Mohammad
2 Aransay, Jesús
2 Avigad, Jeremy
2 Bentkamp, Alexander
2 Chlipala, Adam
2 Coghetto, Roland
2 Cohen, Cyril
2 Divasón, Jose
2 Eberl, Manuel
2 Faissole, Florian
2 Grégoire, Thomas
2 Hasan, Osman
2 Hölzl, Johannes
2 Huerta y Munive, Jonathan Julián
2 Klakow, Dietrich
2 Kunčar, Ondřej
2 Lelay, Catherine
2 Melquiond, Guillaume
2 Platzer, André
2 Popescu, Andrei
2 Rouhling, Damien
2 Steinberg, Florian
2 Struth, Georg
2 Tahar, Sofiène
2 Thies, Holger
2 Traut, Christoph
1 Affeldt, Reynald
1 Althoff, Matthias
1 Appel, Andrew W.
1 Aravantinos, Vincent
1 Belta, Calin A.
1 Bertot, Yves
1 Bindel, David S.
1 Bohrer, Brandon
1 Bordg, Anthony
1 Bozga, Marius
1 Bréhard, Florent
1 Buzzard, Kevin
1 Clément, François
1 Dahmen, Sander R.
1 Deniz, Elif
1 Dupuis, Frédéric
1 Foster, Simon
1 Fulton, Nathan
1 Gonchenko, Sergeĭ Vladimirovich
1 Gouëzel, Sébastien
1 Haslbeck, Maximilian P. L.
1 Hegedűs, Ferenc
1 Jeannin, Jean-Baptiste
1 Kazakov, Alexey O.
1 Kellison, Ariel E.
1 Khan Afshar, Sanaz
1 Koutsoukou-Argyraki, Angeliki
1 Lessard, Jean-Philippe
1 Lewis, Robert Y.
1 Li, Liming
1 Macbeth, Heather R.
1 Maggesi, Marco
1 Mahboubi, Assia
1 Mahmoud, Mohamed Yousri
1 Maletzky, Alexander
1 Martin, Vincent
1 Matichuk, Daniel
1 Matsue, Kaname
1 Mayero, Micaela
1 Mehdipour, Noushin
1 Mitsch, Stefan
1 Nagy, Dániel A.
1 Nummelin, Visa
1 Plavecz, Lambert
1 Pous, Damien
1 Rashid, Adnan
1 Rau, Martin
1 Rideau, Laurence
1 Sakaguchi, Kazuhiko
1 Seddiki, Ons
1 Serafin, Luke
1 Siddique, Umair
1 Sifakis, Joseph
1 Takayasu, Akitoshi
1 Tan, Yong Kiam
1 Tebbens, Radboud Duintjer
1 Tekriwal, Mohit
1 Turaev, Dmitry V.
1 Wenzel, Makarius
1 Xu, Runqing
1 Zhan, Bohua
all top 5

Cited in 14 Serials

16 Journal of Automated Reasoning
2 Experimental Mathematics
2 Mathematics in Computer Science
2 Formalized Mathematics
1 Nonlinearity
1 Automatica
1 Journal of Symbolic Computation
1 Formal Aspects of Computing
1 Mathematical Structures in Computer Science
1 Bulletin of the American Mathematical Society. New Series
1 Journal of Nonlinear Science
1 Communications in Nonlinear Science and Numerical Simulation
1 Logical Methods in Computer Science
1 Journal of Formalized Reasoning
all top 5

Cited in 20 Fields

53 Computer science (68-XX)
15 Mathematical logic and foundations (03-XX)
8 Ordinary differential equations (34-XX)
7 Real functions (26-XX)
7 Numerical analysis (65-XX)
5 Dynamical systems and ergodic theory (37-XX)
4 Systems theory; control (93-XX)
2 Number theory (11-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Topological groups, Lie groups (22-XX)
2 General topology (54-XX)
2 Probability theory and stochastic processes (60-XX)
1 Commutative algebra (13-XX)
1 Algebraic geometry (14-XX)
1 Group theory and generalizations (20-XX)
1 Functions of a complex variable (30-XX)
1 Optics, electromagnetic theory (78-XX)
1 Quantum theory (81-XX)
1 Operations research, mathematical programming (90-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year