Section: Application Domains

Floating-point and Validated Numerics

Our expertise on validated numerics is useful to analyze and improve, and guarantee the quality of numerical results in a wide range of applications including:

• scientific simulation;

• global optimization;

• control theory.

Much of our work, in particular the development of correctly rounded elementary functions, is critical to the

• reproducibility of floating-point computations.