DocumentCode
2957880
Title
Towards tight error bounds on rational expression evaluation
Author
Tang, Ping Tak Peter
Volume
2
fYear
2000
fDate
Oct. 29 2000-Nov. 1 2000
Firstpage
865
Abstract
Tight bound on rounding errors accumulated during a sequence of operations in expression evaluation can be difficult to obtain. We present two recently developed methods that help solve this problem in the case of rational expression in one variable. These methods have been successfully applied to recent software developments of highly-accurate transcendental function library.
Keywords
error analysis; floating point arithmetic; software engineering; highly-accurate transcendental function library; rational expression evaluation; rounding errors; software developments; tight error bounds; Engines; Finite wordlength effects; Floating-point arithmetic; Formal verification; Kernel; Linear algebra; Programming; Roundoff errors; Runtime library; Software 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.910636
Filename
910636
Link To Document