Article Dans Une Revue ACM Computing Surveys Année : 2026

Correctly rounded evaluation of a function: why, how, and at what cost?

Résumé

The goal of this article is to give a survey on the various computational and mathematical issues and progress related to the problem of providing efficient correctly rounded elementary functions in floating-point arithmetic. We also aim at convincing the reader that a future standard for floating-point arithmetic should require the availability of a correctly rounded version of a well-chosen core set of elementary functions. We discuss the interest and feasibility of this requirement.

Fichier principal
Vignette du fichier
crsurvey-HaL.pdf (722.29 Ko) Télécharger le fichier
LACoR.zip (63.71 Ko) Télécharger le fichier
crsurvey_sage.txt (32.18 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04474530 , version 1 (23-02-2024)
hal-04474530 , version 2 (31-05-2024)
hal-04474530 , version 3 (18-02-2025)
hal-04474530 , version 4 (04-07-2025)

Licence

Identifiants

Citer

Nicolas Brisebarre, Guillaume Hanrot, Jean-Michel Muller, Paul Zimmermann. Correctly rounded evaluation of a function: why, how, and at what cost?. ACM Computing Surveys, 2026, 58 (1), ⟨10.1145/3747840⟩. ⟨hal-04474530v4⟩
7496 Consultations
3703 Téléchargements

Altmetric

Partager

  • More