Error estimation of floating-point summation and dot product (original) (raw)

Abstract

We improve the well-known Wilkinson-type estimates for the error of standard floating-point recursive summation and dot product by up to a factor 2. The bounds are valid when computed in rounding to nearest, no higher order terms are necessary, and they are best possible. For summation there is no restriction on the number of summands. The proofs are short by using a new tool for the estimation of errors in floating-point computations which cures drawbacks of the “unit in the last place (ulp)”. The presented estimates are nice and simple, and closer to what one may expect.

Access this article

Log in via an institution

Subscribe and save

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. ANSI/IEEE 754-1985: IEEE Standard for Binary Floating-Point Arithmetic. New York (1985)
  2. ANSI/IEEE 754-2008: IEEE Standard for Floating-Point Arithmetic. New York (2008)
  3. Demmel, J.B.: On floating point errors in Cholesky. LAPACK Working Note 14 CS-89-87, Department of Computer Science, University of Tennessee, Knoxville, TN, USA (1989)
  4. Hauser, J.R.: Handling floating-point exceptions in numeric programs. ACM Trans. Program. Lang. Syst. 18(2), 139–174 (1996)
    Article Google Scholar
  5. Higham, N.J.: Accuracy and Stability of Numerical Algorithms, 2nd edn. SIAM, Philadelphia (2002)
    Book MATH Google Scholar
  6. Jacobi, C., Oh, H.J., Tran, K.D., Cottier, S.R., Michael, B.W., Nishikawa, H., Totsuka, Y., Namatame, T., Yano, N.: The vector floating-point unit in a synergistic processor element of a cell processor. In: ARITH 2005: Proceedings of the 17th IEEE Symposium on Computer Arithmetic, pp. 59–67, Washington (2005)
    Google Scholar
  7. Muller, J.M., Brisebarre, N., de Dinechin, F., Jeannerod, C.P., Lefèvre, V., Melquiond, G., Revol, N., Stehlé, D., Torres, S.: Handbook of Floating-Point Arithmetic. Birkhäuser, Boston (2010)
    Book MATH Google Scholar
  8. Ogita, T., Oishi, S.: Fast inclusion of interval matrix multiplication. Reliab. Comput. 11, 191–205 (2005)
    Article MathSciNet MATH Google Scholar
  9. Rump, S.M.: Ultimately fast accurate summation. SIAM J. Sci. Comput. 31(5), 3466–3502 (2009)
    Article MathSciNet MATH Google Scholar
  10. Rump, S.M., Ogita, T., Oishi, S.: Accurate floating-point summation part I: Faithful rounding. SIAM J. Sci. Comput. 31(1), 189–224 (2008)
    Article MathSciNet MATH Google Scholar
  11. Trefethen, L.N., Schreiber, R.: Average-case stability of Gaussian elimination. SIAM J. Matrix Anal. Appl. 11(3), 335–360 (1990)
    Article MathSciNet MATH Google Scholar

Download references

Author information

Authors and Affiliations

  1. Institute for Reliable Computing, Hamburg University of Technology, Schwarzenbergstraße 95, Hamburg, 21071, Germany
    Siegfried M. Rump
  2. Faculty of Science and Engineering, Waseda University, 3-4-1 Okubo, Shinjuku-ku, Tokyo, 169-8555, Japan
    Siegfried M. Rump

Corresponding author

Correspondence toSiegfried M. Rump.

Additional information

Communicated by Axel Ruhe.

Part of this research was done while being visiting Professor at Université Pierre et Marie Curie (Paris 6), Laboratoire LIP6, Département Calcul Scientifique, 4 place Jussieu, 75252 Paris cedex 05, France.

Rights and permissions

About this article

Cite this article

Rump, S.M. Error estimation of floating-point summation and dot product.Bit Numer Math 52, 201–220 (2012). https://doi.org/10.1007/s10543-011-0342-4

Download citation

Keywords

Mathematics Subject Classification (2000)