Title :
A priori worst case error bounds for floating-point computations
Author_Institution :
Inst. fur Wissenschaftliches Rechnen und Math. Modellbildung, Karlsruhe Univ., Germany
fDate :
7/1/1998 12:00:00 AM
Abstract :
A new technique for the a priori calculation of rigorous error bounds for floating-point computations is introduced. The theorems given in the paper combined with interval arithmetic lead to the implementation of reliable software routines, which enable the user to compute the desired error bounds automatically by a suitable computer program. As a prominent example, a table-lookup algorithm for calculating the function exp(x)-1 that has been published by P.T.P. Tang (1992) is analyzed using these new tools. The result shows the high quality of the new approach
Keywords :
error analysis; floating point arithmetic; table lookup; a priori calculation; a priori worst case error bounds; floating-point computations; interval arithmetic; reliable software routines; rigorous error bounds; table-lookup algorithm; Algorithm design and analysis; Automation; Computer aided software engineering; Computer errors; Digital arithmetic; Equations; Error analysis; Floating-point arithmetic; Linear systems; Reliability theory;
Journal_Title :
Computers, IEEE Transactions on
