×
Compute Distance To:
Author ID: immler.fabian Recent zbMATH articles by "Immler, Fabian"
Published as: Immler, Fabian
Documents Indexed: 7 Publications since 2012
Co-Authors: 4 Co-Authors with 5 Joint Publications
32 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 43 times in 31 Documents Cited by Year
Type classes and filters for mathematical analysis in Isabelle/HOL. Zbl 1317.68213
Hölzl, Johannes; Immler, Fabian; Huffman, Brian
22
2013
Numerical analysis of ordinary differential equations in Isabelle/HOL. Zbl 1360.68753
Immler, Fabian; Hölzl, Johannes
10
2012
The flow of ODEs. Zbl 1468.68324
Immler, Fabian; Traut, Christoph
5
2016
A verified ODE solver and the Lorenz attractor. Zbl 1448.68460
Immler, Fabian
3
2018
The flow of ODEs: formalization of variational equation and Poincaré map. Zbl 1468.68325
Immler, Fabian; Traut, Christoph
1
2019
Gröbner bases of modules and Faugère’s \(F_4\) algorithm in Isabelle/HOL. Zbl 1417.68189
Maletzky, Alexander; Immler, Fabian
1
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
1
2019
A verified ODE solver and the Lorenz attractor. Zbl 1448.68460
Immler, Fabian
3
2018
Gröbner bases of modules and Faugère’s \(F_4\) algorithm in Isabelle/HOL. Zbl 1417.68189
Maletzky, Alexander; Immler, Fabian
1
2018
The flow of ODEs. Zbl 1468.68324
Immler, Fabian; Traut, Christoph
5
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
22
2013
Numerical analysis of ordinary differential equations in Isabelle/HOL. Zbl 1360.68753
Immler, Fabian; Hölzl, Johannes
10
2012

Citations by Year