Florian Faissole

Available identifiers

zbMath Open faissole.florianMaRDI QIDQ2673303

List of research outcomes

Publication	Date of Publication	Type
Formally-verified round-off error analysis of Runge-Kutta methods	2024-02-06	Paper
Synthetic topology in Homotopy Type Theory for probabilistic programming	2022-12-09	Paper
A Coq formalization of Lebesgue integration of nonnegative functions	2022-06-09	Paper
A Coq Formalization of Lebesgue Integration of Nonnegative Functions	2021-04-12	Paper
Round-Off Error and Exceptional Behavior Analysis of Explicit Runge-Kutta Methods	2020-12-14	Paper

Research outcomes over time

This page was built for person: Florian Faissole