Correctly rounded evaluation of a function: why, how, and at what cost? (original) (raw)
Loading...
Article Dans Une Revue ACM Computing Surveys Année : 2026
Nicolas Brisebarre (1, 2, 3, 4) , Guillaume Hanrot (3, 5) , Jean-Michel Muller (1, 2, 3, 4) , Paul Zimmermann (6)
1 CNRS - Centre National de la Recherche Scientifique
2 ARIC - Arithmétiques des ordinateurs, méthodes formelles, génération de code
3 LIP - Laboratoire de l'Informatique du Parallélisme
4 PASCALINE - Arithmétique des ordinateurs, calcul formel et vérification formelle
5 CryptoLab Inc.
6 CARAMBA - Cryptology, arithmetic : algebraic methods for better algorithms
- Fonction : Auteur
- PersonId : 16231
- IdHAL : nicolas-brisebarre
- ORCID : 0000-0002-4220-2132
- IdRef : 156989956
CNRS - Centre National de la Recherche Scientifique
ARIC - Arithmétiques des ordinateurs, méthodes formelles, génération de code
LIP - Laboratoire de l'Informatique du Parallélisme
PASCALINE - Arithmétique des ordinateurs, calcul formel et vérification formelle
- Fonction : Auteur
- PersonId : 831392
- ORCID : 0000-0001-9319-0365
- IdRef : 066896622
LIP - Laboratoire de l'Informatique du Parallélisme
- Fonction : Auteur
- PersonId : 4171
- IdHAL : jean-michel-muller
- ORCID : 0000-0003-3588-0047
- IdRef : 029762871
CNRS - Centre National de la Recherche Scientifique
ARIC - Arithmétiques des ordinateurs, méthodes formelles, génération de code
LIP - Laboratoire de l'Informatique du Parallélisme
PASCALINE - Arithmétique des ordinateurs, calcul formel et vérification formelle
- Fonction : Auteur
- PersonId : 1043
- IdHAL : paul-zimmermann
- ORCID : 0000-0003-0718-4458
- IdRef : 034200282
CARAMBA - Cryptology, arithmetic : algebraic methods for better algorithms
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.
Mots clés
- LLL algorithm
- Correct rounding
- Table maker's dilemma
- approximation theory
- lattice basis reduction
- algorithmic number theory
- standardization
- elementary functions
- floating-point arithmetic
- Computer arithmetic
Domaines
Fichier principal
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 |  CC BY 4.0 - Attribution |
| Licence | CC BY 4.0 - Attribution |
|---|
| Licence | CC BY 4.0 - Attribution |
|---|
Connectez-vous pour contacter le contributeur
https://hal.science/hal-04474530
Soumis le : vendredi 4 juillet 2025-09:09:36
Dernière modification le : mardi 4 novembre 2025-11:58:48
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
- HAL Id : hal-04474530 , version 4
- DOI : 10.1145/3747840
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⟩
Exporter
Collections
- ENS-LYON
- CNRS
- INRIA
- UNIV-LYON1
- LIP
- CENTRALESUPELEC
- UNIV-LORRAINE
- INRIA2
- LORIA
- LORIA-ALGO
- UDL
- ANR
- AM2I-UL
7204 Consultations
3277 Téléchargements