Title :
Worst cases for correct rounding of the elementary functions in double precision
Author :
Lefèvre, Vincent ; Muller, Jean-Michel
Author_Institution :
LORIA, INRIA, Vandoeuvre-les-Nancy, France
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
Keywords :
floating point arithmetic; roundoff errors; IEEE-754 standard; correctly rounded functions; double precision; elementary functions; rounding; Computer aided software engineering; Floating-point arithmetic; Libraries; Portable computers; Testing;
Conference_Titel :
Computer Arithmetic, 2001. Proceedings. 15th IEEE Symposium on
Conference_Location :
Vail, CO
Print_ISBN :
0-7695-1150-3
DOI :
10.1109/ARITH.2001.930110
