Floating-point numbers round-off error analysis by constraint programming

Author: Rémy Garcia
School: Université Côte d’Azur, Nice, France
Supervisors: Claude Michel, Université Côte d’Azur, Nice, FranceMichel Rueher, Université Côte d’Azur, Nice, France
Graduated: September 08, 2021
Link to full text: https://tel.archives-ouvertes.fr/tel-03416121