New Automatic Tools for Validated Floating-point Computations – EVA-Flo
Project coordination
Nathalie REVOL (Organisme de recherche)
The author of this summary is the project coordinator, who is responsible for the content of this summary. The ANR declines any responsibility as for its contents.
Partner
Help of the ANR 130,500 euros
Beginning and duration of the scientific project:
- 48 Months