Automatic forward error analysis for floating point algorithms

Reliable Computing

Volumn 7, Issue 4, 2001, Pages 321-340

  Krämer, Walter ^a   Bantle, Armin ^a  

^a UNIVERSITY OF WUPPERTAL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0343772993     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1011463324243     Document Type: Article

References (28)

1. Alefeld, G. and Herzberger, J.: Einführung in die Intervallrechnung, Bibliographisches Institut, Mannheim, 1974.
2. Bantle, A. and Krämer, W.: Ein Kalkül für verläβliche absolute und relative Fehlerabschätzungen, Preprint 98/5 des IWRMM, Universität Karlsruhe, 1998.
3. Bauer, F. L.: Computational Graphs and Rounding Error, SIAM J. Numer. Anal. 11 (1) (1974), pp. 87-96.
4. Blomquist, F. and Krämer, W.: Algorithmen mit garantierten Fehlerschranken für die Fehlerund die komplementäre Fehlerfunktion, Preprint 97/3 des IWRMM, Universität Karlsruhe, 1997.
5. Carr, J. W. III: Error Analysis in Floating Point Arithmetic, Comm. ACM 2 (5) (1959), pp. 10-15.
6. Demmel, J. W.: Underflow and the Reliability of Numerical Software, SIAM J. Sci. Statist. Comput. 5 (4) (1984), pp. 887-919.
7. Ferguson, Jr, W. E.: Exact Computation of a Sum or Difference with Applications to Argument Reduction, in: Knowles, S. and McAllister, W. H. (eds), Proc. 12th IEEE Symposium on Computer Arithmetic, Bath, England, IEEE Computer Society Press, Los Alamitos, CA, USA, 1995, pp. 216-221.
8. Fischer, H.-Ch.: Schnelle automatische Differentiation, Einschlieβungsmethoden und Anwendungen, Dissertation, Universität Karlsruhe, 1990.
9. Higham, N. J.: Accuracy and Stability of Numerical Algorithms, Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, 1996.
10. Hofschuster, W and Krämer, W: Ein rechnergestützter Fehlerkalkül mit Anwendung auf ein genaues Tabellenverfahren, Preprint 96/5 des IWRMM, Universität Karlsruhe, 1996.
11. Hofschuster, W and Krämer, W.: A Computer Oriented Approach to Get Sharp Reliable Error Bounds, Reliable Computing 3 (3) (1997), pp. 239-248.
12. Hofschuster, W. and Krämer, W.: FI_LIB, eine schnelle und portable Funktionsbibliothek für reelle Argumente und reelle Intervalle im IEEE-Double-Format, Preprint 98/5 des IWRMM, Universität Karlsruhe, 1998.
13. IEEE Standard for Binary Floating-Point Arithmetic, ANSI/IEEEStandard 754-1985, Institute of Electrical and Electronics Engineers, New York, 1985. Reprinted in SIGPLAN Notices 22 (2), (1987), pp. 9-25.
14. IEEE Standard for Binary Floating-Point Arithmetic, ANSI/IEEEStandard 754-1985, Institute of Electrical and Electronics Engineers, New York, 1985. Reprinted in SIGPLAN Notices 22 (2), (1987), pp. 9-25.
15. Iri, M.: Simultaneous Computation of Functions, Partial Derivatives and Error Estimates of Rounding Errors, Japan J. Appl. Math. 1 (1984), pp 223-252.
16. Klatte, R., Kulisch, U., Lawo, C., Rauch, M., and Wiethoff, A.: C-XSC: A C++ Class Library for Extended Scientific Computing, Springer-Verlag, Heidelberg, 1993.
17. Krämer, W.: A Priori Worst Case Error Bounds for Floating-Point Computations, in: Proceedings of the 13th IEEE Symp. on Computer Arithmetic, Asilomar, California, 1997, pp. 64-71. Also in: IEEE Transactions on Computers 47 (7) (1998).
18. Krämer, W.: A Priori Worst Case Error Bounds for Floating-Point Computations, in: Proceedings of the 13th IEEE Symp. on Computer Arithmetic, Asilomar, California, 1997, pp. 64-71. Also in: IEEE Transactions on Computers 47 (7) (1998).
19. Krämer, W.: Constructive Error Analysis, Journal of Universal Computer Science (JUCS) 4 (2) (1998), pp. 147-163.
20. Kulisch, U.: Grundlagen des Numerischen Rechnens, Bibliographisches Institut, Mannheim, 1976.
21. Miller, W.: Software for Roundoff Analysis, ACM Trans. Math. Software 1 (2) (1975), pp. 108-128.
22. Neumaier, A.: Interval Methods for Systems of Equations, Cambridge University Press, 1990.
23. Priest, D. M.: On Properties of Floating Point Arithmetics: Numerical Stability and the Cost of Accurate Computations, Ph.D. thesis, Mathematics Department, University of California, Berkeley, CA, USA, 1992, ftp://ftp.icsi.berkeley.edu/pub/theory/priest-thesis.ps.Z.
24. Richman, P. L.: Automatic Error Analysis for Determining Precision, Comm. ACM 15 (9) (1972), pp. 813-817.
25. Scherer, R. and Zeller, K.: Shorthand Notation for Rounding Errors, Computing Suppl. 2 (1980), pp. 165-168.
26. Schumacher, G.: Genauigkeitsfragen bei algebraisch-numerischen Algorithmen auf Skalar- und Vektorrechnern, Dissertation, Universität Karlsruhe, 1989.
27. Sterbenz, P. H.: Floating-Point Computation, Prentice-Hall, Englewood Cliffs, NJ, 1974.
28. Stummel, F.: Rounding Error Analysis of Elementary Numerical Algorithms, Computing. Suppl. 2 (1980), pp. 169-195.