EN FR
EN FR


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.