Heiko Becker

From MaRDI portal
Person:2024353

Available identifiers

zbMath Open becker.heikoMaRDI QIDQ2024353

List of research outcomes





PublicationDate of PublicationType
Dandelion: certified approximations of elementary functions2024-07-15Paper
Formally verified roundoff errors using SMT-based certificates and subdivisions2024-03-14Paper
Icing: supporting fast-math style optimizations in a verified compiler2024-02-16Paper
Combining tools for optimization and analysis of floating-point computations2021-05-04Paper
A transfinite Knuth-Bendix order for lambda-free higher-order terms2017-09-22Paper

Research outcomes over time

This page was built for person: Heiko Becker

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