DocumentCode
2957929
Title
Correctly rounded functions for better arithmetic
Author
Lefèvre, Vincent ; Muller, Jean-Michel
Author_Institution
Project POLKA, Inst. Nat. de Recherche en Inf. et Autom., Vandoeuvre-les-Nancy, France
Volume
2
fYear
2000
fDate
Oct. 29 2000-Nov. 1 2000
Firstpage
875
Abstract
The IEEE 754 standard for floating-point arithmetic requires that the four arithmetic operations and the square root should be correctly rounded. This has improved the accuracy, reliability and portability of numerical software. Unfortunately, such a requirement does not exist for the elementary functions. As a consequence, some libraries that are used everyday are rather poor. The problem of correctly rounding these functions is called the "Table Maker\´s Dilemma". After a survey on this problem, we give some new results. They show that correctly rounded functions could be provided at a reasonable cost.
Keywords
IEEE standards; floating point arithmetic; software portability; software reliability; IEEE 754 standard; arithmetic operations; correctly rounded functions; floating-point arithmetic; numerical software; portability; reliability; square root; Cost function; Floating-point arithmetic; Libraries;
fLanguage
English
Publisher
ieee
Conference_Titel
Signals, Systems and Computers, 2000. Conference Record of the Thirty-Fourth Asilomar Conference on
Conference_Location
Pacific Grove, CA, USA
ISSN
1058-6393
Print_ISBN
0-7803-6514-3
Type
conf
DOI
10.1109/ACSSC.2000.910638
Filename
910638
Link To Document