DocumentCode
3195012
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
fYear
2001
fDate
2001
Firstpage
111
Lastpage
118
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Arithmetic, 2001. Proceedings. 15th IEEE Symposium on
Conference_Location
Vail, CO
ISSN
1063-6889
Print_ISBN
0-7695-1150-3
Type
conf
DOI
10.1109/ARITH.2001.930110
Filename
930110
Link To Document