Fabian Immler

From MaRDI portal
Person:1663217

Available identifiers

zbMath Open immler.fabianMaRDI QIDQ1663217

List of research outcomes





PublicationDate of PublicationType
A formally verified motion planner for autonomous vehicles2023-07-28Paper
https://portal.mardi4nfdi.de/entity/Q58754302023-02-03Paper
The flow of ODEs: formalization of variational equation and Poincaré map2019-02-18Paper
Gröbner bases of modules and Faugère's \(F_4\) algorithm in Isabelle/HOL2018-10-18Paper
A verified ODE solver and the Lorenz attractor2018-08-21Paper
The Flow of ODEs2016-10-27Paper
A Verified Enclosure for the Lorenz Attractor (Rough Diamond)2015-09-14Paper
Type Classes and Filters for Mathematical Analysis in Isabelle/HOL2013-08-07Paper
Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL2012-09-20Paper

Research outcomes over time

This page was built for person: Fabian Immler

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1663217&oldid=6332825"
Powered by MediaWiki