## 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