A priori worst case error bounds for floating-point computations

IEEE Transactions on Computers

Volumn 47, Issue 7, 1998, Pages 750-756

  Krämer, Walter ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

Automation of error analysis; Elementary function algorithms; Rigorous error bounds; Table lookup algorithms

Indexed keywords

ALGORITHMS; AUTOMATION; CALCULATIONS; COMPUTER SOFTWARE; ERROR ANALYSIS; ERRORS; NUMBER THEORY;

ELEMENTARY FUNCTION ALGORITHM; INTERVAL ARITHMETIC; RIGOROUS ERROR BOUND; TABLE LOOKUP ALGORITHM;

DIGITAL ARITHMETIC;

EID: 0032119048     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/12.709374     Document Type: Article

References (18)

1. E. Adams and U. Kulisch, "Scientific Computing with Automatic Result Verification," Mathematics in Science and Eng., vol. 189. Academic Press, 1993.
2. W.E. Ferguson and T. Brightman, "Accurate and Monotone Approximations of Some Transcendental Functions," Proc. 10th Symp. Computer Arithmetic, pp. 237-244, 1991.
3. W.E. Ferguson, "Exact Computation of a Sum or Difference with Applications to Argument Reduction," Proc. 12th Symp. Computer Arithmetic, pp. 216-221, 1995.
4. Am. Nat'l Standards Inst./ IEEE, A Standard for Binary Floating-Point Arithmetic. ANSI/ IEEE Std. 754-1985, New York, 1985
5. (reprinted in SIGPLAN, vol. 22, no. 2, pp. 9-25, 1987).
6. W. Hofschuster and W. Krämer, Ein rechnergestützter Fehlerkalkül mit Anwendung auf an genaues Tabellenverfahren, Preprint 96/ 5 des Instituts für Wissenschaftliches Rechnen und Mathematische Modellbildung, 1996.
7. W. Hofschuster and W. Krämer, "A Computer Oriented Approach to Get Sharp Reliable Error Bounds," Reliable Computing, vol. 3, no. 3, pp. 239-248, 1997.
8. W.M. Kahan, "The Regrettable Failure of Automated Error Analysis," mini-course, Conf. Computers and Mathematics, Massachusetts Inst. of Technology, 1989.
9. W.M. Kahan, "Lecture Notes on the Status of IEEE Standard 754 for Binary Floating-Point Arithmetic," 5 June 1995.
10. R. Klatte, U. Kulisch, M. Neaga, D. Ratz, and C. Ullrich, PASCAL-XSC, Language Reference with Examples. Springer-Verlag, 1992.
11. R. Klatte, U. Kulisch, C. Lawo, M. Rauch, and A. Wiethoff, C-XSC - A C++ Class Library for Extended Scientific Computing. Springer-Verlag, 1993.
12. W. Krämer, "Multiple-Precision Computations with Result Verification," Scientific Computing with Automatic Result Verification, E. Adams and U. Kulisch, eds., pp. 325-356. Academic Press, 1992.
13. W. Krämer, Sichere und genaue Abschätzung des Approximationsfehlers bei rationalen Approximationen, Bericht des Instituts für Angewandte Mathematik, Universität Karlsruhe, 1996.
14. P.T.P Tang, "Table-Driven Implementation of the Exponential Function in IEEE Floating-Point Arithmetic," ACM Trans. Math. Software, vol. 15, no. 2, pp. 144-157, 1989.
15. P.T.P Tang, "Table-Driven Implementation of the Logarithm Function in IEEE Floating-Point Arithmetic," ACM Trans. Math. Software, vol. 16, no. 4, pp. 378-400, 1990.
16. P.T.P Tang, "Table-Lookup Algorithms for Elementary Functions and Their Error Analysis," Proc. 10th Symp. Computer Arithmetic, pp. 232-236, 1991.
17. P.T.P Tang, "Table-Driven Implementation of the Expm1 Function in IEEE Floating-Point Arithmetic," ACM Trans. Math. Software, vol. 18, no. 2, pp. 211-222, 1992.
18. A. Ziv, "Fast Evaluation of Elementary Mathematical Functions with Correctly Rounded Last Bit," ACM Trans. Math. Software, vol. 17, no. 3, pp. 410-423, 1991.