End-To-End Formal Verification of a Fast and Accurate Floating-Point Approximation.

Florian Faissole, Paul Geneau de Lamarlire, Guillaume Melquiond

Browse the full ITP paper archive.