Issue No. 07 - July (2009 vol. 58)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.2008.215
Stef Graillat , Université Pierre et Marie Curie, Paris
Several different techniques and softwares intend to improve the accuracy of results computed in a fixed finite precision. Here, we focus on a method to improve the accuracy of the product of floating-point numbers. We show that the computed result is as accurate as if computed in twice the working precision. The algorithm is simple since it only requires addition, subtraction, and multiplication of floating-point numbers in the same working precision as the given data. Such an algorithm can be useful for example to compute the determinant of a triangular matrix and to evaluate a polynomial when represented by the root product form. It can also be used to compute the integer power of a floating-point number.
Accurate product, exponentiation, finite precision, floating-point arithmetic, faithful rounding, error-free transformations.
S. Graillat, "Accurate Floating-Point Product and Exponentiation," in IEEE Transactions on Computers, vol. 58, no. , pp. 994-1000, 2008.