Fabian Immler
ORCIDPublication Activity (10 Years)
Years Active: 2011-2020
Publications (10 Years): 25
Publications (10 Years): 25
Publications
- Fabian Immler, Yong Kiam Tan
- Fabian Immler, Christoph Traut
- Fabian Immler, Yong Kiam TanThe Poincaré-Bendixson Theorem. Arch. Formal Proofs 2019 (2019)
- Fabian Immler, Jonas Rädle, Makarius Wenzel
- Fabian ImmlerLaplace Transform. Arch. Formal Proofs 2019 (2019)
- Fabian Immler, Bohua Zhan
- Alexander Maletzky, Fabian ImmlerAlgorithm in Isabelle/HOL. CoRR (2018)
- Fabian Immler
- Fabian Immler, Bohua ZhanSmooth Manifolds. Arch. Formal Proofs 2018 (2018)
- Christoph Traut, Fabian ImmlerTaylor Models. Arch. Formal Proofs 2018 (2018)
- Alexander Maletzky, Fabian Immler
- Fabian Immler, Alexander MaletzkyGröbner Bases Theory. Arch. Formal Proofs 2016 (2016)
- Fabian Immler, Christoph Traut
- Fabian Immler
- Fabian Immler
- Fabian Immler
- Fabian ImmlerAffine Arithmetic. Arch. Formal Proofs 2014 (2014)
- Johannes Hölzl, Fabian Immler, Brian Huffman
- Fabian Immler, Johannes Hölzl
- Fabian Immler, Johannes HölzlOrdinary Differential Equations. Arch. Formal Proofs 2012 (2012)
- Fabian ImmlerRIPEMD-160. Arch. Formal Proofs 2011 (2011)