Fabian Immler

Homepages 🌐

• https://home.in.tum.de/~immler/

E-Mails 📧

• ed.mut.ni @relmmi

Entries

2020

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles

by Albert Rizaldi 📧 and Fabian Immler 🌐

Jun 01

2019

The Poincaré-Bendixson Theorem

by Fabian Immler 🌐 and Yong Kiam Tan 🌐

Dec 18

Laplace Transform

by Fabian Immler 🌐

Aug 14

2018

Smooth Manifolds

by Fabian Immler 🌐 and Bohua Zhan 🌐

Oct 22

Taylor Models

by Christoph Traut and Fabian Immler 🌐

Jan 08

2016

Gröbner Bases Theory

by Fabian Immler 🌐 and Alexander Maletzky 🌐

May 02

2014

Affine Arithmetic

by Fabian Immler 🌐

Feb 07

2012

Ordinary Differential Equations

by Fabian Immler 🌐 and Johannes Hölzl 🌐

Apr 26

2011

RIPEMD-160

by Fabian Immler 📧

Jan 10

2010

Executable Multivariate Polynomials

by Christian Sternagel 📧, René Thiemann 🌐, Alexander Maletzky 🌐, Fabian Immler 🌐, Florian Haftmann 🌐, Andreas Lochbihler 🌐 and Alexander Bentkamp 📧

Aug 10