A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles
by Albert Rizaldi and Fabian Immler
Fabian Immler
2020
2019
The Poincaré-Bendixson Theorem
by Fabian Immler and Yong Kiam Tan
2018
2016
2014
2012
Ordinary Differential Equations
by Fabian Immler and Johannes Hölzl
2011
2010
Executable Multivariate Polynomials
by Christian Sternagel, René Thiemann, Alexander Maletzky, Fabian Immler, Florian Haftmann, Andreas Lochbihler and Alexander Bentkamp