-
Contributions to the Formal Verification of Arithmetic Algorithms
The Floating-Point (FP) implementation of a real-valued function is performed with correct rounding if the output is always equal to the rounding of the exact value,... -
Point-Free, Set-Free Concrete Linear Algebra
International audience
