13th IEEE Symposium on Computer Arithmetic (ARITH-13 '97)
A Priori Worst-Case Error Bounds for Floating-Point Computations
Asilomar, CA
March 06-March 09
ISBN: 0-8186-7846-1
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 enables 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 Tang \cite{tang92} is analyzed using these new tools. The result shows the high quality of the new approach.
Index Terms:
Reliable Error Estimates, Error Bounds, Floating-Point Computations, Table-lookup Algorithm
Citation:
Walter Kramer, "A Priori Worst-Case Error Bounds for Floating-Point Computations," arith, pp.64, 13th IEEE Symposium on Computer Arithmetic (ARITH-13 '97), 1997