Fabian Immler

Homepages 🌐

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

E-Mails 📧

• ed.mut.ni @relmmi

Entries

2024

AutoCorres2

by Matthew Brecknell, David Greenaway, Johannes Hölzl 📧, Fabian Immler 📧, Gerwin Klein 📧, Rafal Kolanski 📧, Japheth Lim, Michael Norrish, Norbert Schirmer 📧, Salomon Sickert, Thomas Sewell, Harvey Tuch and Simon Wimmer

Apr 17

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