Computer Arithmetic, IEEE Symposium on (2001)
June 11, 2001 to June 13, 2001
Jean-Michel Muller , Ecole Normale Superieure de Lyon
Vincent Lefévre , INRIA, Projet Spaces, LORIA, Campus Scientifique
Abstract: We give the results of a four-year search for the worst cases for correct rounding of the major elementary functions in double precision. These results allow the design of reasonably fast routines that will compute these functions with correct rounding, at least in some interval, for any of the four rounding modes specified by the IEEE-754 standard. They will also allow one to easily test libraries that are claimed to provide correctly rounded functions.
Jean-Michel Muller, Vincent Lefévre, "Worst Cases for Correct Rounding of the Elementary Functions in Double Precision", Computer Arithmetic, IEEE Symposium on, vol. 00, no. , pp. 0111, 2001, doi:10.1109/ARITH.2001.930110