Automatic linear correction of rounding errors

BIT Numerical Mathematics

Volumn 41, Issue 3, 2001, Pages 515-539

  Langlois, Philippe ^a  

^a UNIVERSITÉ DE LYON   (France)

Author keywords

Automatic error analysis; Floating point arithmetic; Rounding error

Indexed keywords

EID: 0001085161     PISSN: 00063835     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1021919329342     Document Type: Article

References (24)

1. D. H. Bailey, A Fortran-90 double-double library. Available at URL http://wvw. nersc.gov/~dhb/mpdist/mpdist.html.
2. W. Baur and V. Strassen, The complexity of partial derivatives, Theoretical Computer Science, 22 (1983), pp. 317-330.
3. T. Braconnier and Ph. Langlois, From rounding error estimation to automatic correction with automatic differentiation, in Proceedings of the Third International Conference on Automatic Differentiation: From Simulation to Optimization, Nice, June 2000, G. Corliss, A. Griewank, C. Faure, L. Hascoet, and U. Naumann, eds., Springer-Verlag, Berlin, to appear (also available as INRIA Research Report RR-3967, July 2000).
4. K. Briggs, Doubledouble floating point arithmetic, available at URL http://www-epidem.plantsci.cam.ac.uk/~kbriggs/doubledouble.html, 1998.
5. G. Dahlquist and Å. Björck, Numerical Methods, Prentice-Hall, Englewood Cliffs, NJ, 1974.
6. T. J. Dekker, A floating-point technique for extending the available precision, Numer. Math., 18 (1971), pp. 224-242.
7. A. Griewank, Evaluating Derivatives. Principles and Techniques of Algorithmic Differentiation, SIAM, Philadelphia, PA, 2000.
8. N. J. Higham, Accuracy and Stability of Numerical Algorithms, SIAM, Philadelphia, PA, 1996.
9. M. Iri, History of automatic differentiation and rounding error estimation, in Automatic Differentiation of Algorithms: Theory, Implementation, and Application, A. Griewank and G. F. Corliss, eds., SIAM, Philadelphia, PA, 1991, pp. 3-16.
10. D. E. Knuth, The Art of Computer Programming, Volume 2, Seminumerical Algorithms, 3rd ed., Addison-Wesley, Reading, MA, 1998.
11. Ph. Langlois and F. Nativel, Reduction and bounding of the rounding error in floating point arithmetic, C.R. Acad. Sci., Paris, Série 1, 327 (1998), pp. 781-786.
12. Ph. Langlois and F. Nativel, When automatic linear correction of rounding errors is exact, C.R. Acad. Sci. Paris, Série 1, 328 (1999), pp. 543-548. Erratum in 328:829, 1999.
13. X. Li, J. Demmel, D. Bailey, G. Henry, Y. Hida, J. Iskandar, W. Kahan, A. Kapur, M. Martin, T. Tung, and D. J. Yoo, Design, implementation and testing of extended and mixed precision BLAS, Technical Report CS-00-451, Department of Computer Science, University of Tennessee, Knoxville, TN, October 2000. Available at URL http://www.netlib.org/utk/papers/blast-forum.html.
14. S. Linnainmaa, Towards accurate statistical estimation of rounding errors in floating-point computations, BIT, 15 (1975), pp. 165-173.
15. S. Linnainmaa, Error linearization as an effective tool for experimental analysis of the numerical stability of algorithms, BIT, 23 (1983), pp. 346-359.
16. W. Miller, Software for roundoff analysis, ACM Trans. Math. Software, 1 (1975), pp. 108-128.
17. M. Pichat, Correction d'une somme en arithmétique à virgule flottante, Numer. Math., 19 (1972), pp. 400-406.
18. M. Pichat, Contribution à l'étude des erreurs d'arrondi en arithmétique à virgule flottante, Doctorat d'Etat Thesis, Université de Grenoble 1, Grenoble, France, 1976 (in French).
19. N. A. Pierce and M. B. Giles, Adjoint recovery of superconvergent functionals from PDE approximations, SIAM Rev., 42 (2000), pp. 247-264.
20. P. Soderquist and M. Leeser, Division and square root: Choosing the right implementation, IEEE Micro, 17 (1997), pp. 56-66.
21. J. Stoer and R. Bulirsch, Introduction to Numerical Analysis, 2nd ed., Springer-Verlag, New York, 1993.
22. M. Tienari, A statistical model of roundoff error for varying length floating-point arithmetic, BIT, 10 (1970), pp. 355-365.
23. F. Tisseur, Newton's method in floating point arithmetic and iterative refinement of generalized eigenvalue problems, Numerical Analysis Report No. 346, Manchester Centre for Computational Mathematics, Manchester, England, Aug. 1999 (to appear in SIAM J. Matrix Anal. Appl.).
24. J. H. Wilkinson, Error analysis revisited, IMA Bulletin, 22 (1986), pp. 192-200.