The Table Maker's Dilemma is the problem of always getting correctly rounded results when computing the elementary functions. After a brief presentation of this problem, we present new developments that have helped us to solve this problem for the double-precision exponential function in a small domain. These new results show that this problem can be solved, at least for the double-precision format, for the most usual functions.Le dilemme du concepteur de tables est le problème de toujours fournir des résultats arrondis correctement lors du calcul de fonctions élémentaires. Après une brève présentation du problème, nous présentons de nouveaux résultats qui permettent de résoudre ce problème pour l'exponentielle en double précision dans un p...
Double rounding consists in a first rounding in an intermediate extended precision and then a second...
(eng) This paper deals with the computation of reciprocals, square roots, inverse square roots, and ...
We present a new elementary function library, called CR-LIBM. This library implements the various fu...
The Table Maker's Dilemma is the problem of always getting correctly rounded results when computing ...
The Floating-Point (FP) implementation of a real-valued function is performed with correct rounding ...
Gal’s accurate tables algorithm aims at providing an ef-ficient implementation of mathematical funct...
We give here the results of a four-year search for the worst cases for correct rounding of the major...
Gal's accurate tables algorithm aims at providing an efficient implementation of mathematical functi...
This article shows that IEEE-754 double-precision correct rounding of the most common elementary fun...
This article presents advances in the subject of double-precision correctly rounded elementary funct...
We present an algorithm for implementing correctly rounded exponentials in double-precision floating...
(eng) This article is a case study in the implementation of a portable, proven and efficient correct...
Cet article a obtenu le "best paper award" de la conférenceInternational audienceSolving the Table M...
Double rounding consists in a first rounding in an intermediate extended precision and then a second...
(eng) This paper deals with the computation of reciprocals, square roots, inverse square roots, and ...
We present a new elementary function library, called CR-LIBM. This library implements the various fu...
The Table Maker's Dilemma is the problem of always getting correctly rounded results when computing ...
The Floating-Point (FP) implementation of a real-valued function is performed with correct rounding ...
Gal’s accurate tables algorithm aims at providing an ef-ficient implementation of mathematical funct...
We give here the results of a four-year search for the worst cases for correct rounding of the major...
Gal's accurate tables algorithm aims at providing an efficient implementation of mathematical functi...
This article shows that IEEE-754 double-precision correct rounding of the most common elementary fun...
This article presents advances in the subject of double-precision correctly rounded elementary funct...
We present an algorithm for implementing correctly rounded exponentials in double-precision floating...
(eng) This article is a case study in the implementation of a portable, proven and efficient correct...
Cet article a obtenu le "best paper award" de la conférenceInternational audienceSolving the Table M...
Double rounding consists in a first rounding in an intermediate extended precision and then a second...
(eng) This paper deals with the computation of reciprocals, square roots, inverse square roots, and ...
We present a new elementary function library, called CR-LIBM. This library implements the various fu...