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