ACETAF: A software package for computing validated bounds for Taylor coefficients of analytic functions

ACM Transactions on Mathematical Software

Volumn 29, Issue 3, 2003, Pages 263-286

  Eble, Ingo ^a   Neher, Markus ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

Analytic functions; Bounds for Taylor coefficients

Indexed keywords

ANALYTIC FUNCTIONS; BOUNDS FOR TAYLOR COEFFICIENTS; CAUCHY'S ESTIMATE; VERIFICATION;

ALGORITHMS; APPROXIMATION THEORY; COMPUTER SOFTWARE; ERROR ANALYSIS; ESTIMATION; FUNCTIONS; MATHEMATICAL MODELS;

COMPUTATIONAL METHODS;

EID: 2442566927     PISSN: 00983500     EISSN: None     Source Type: Journal    
DOI: 10.1145/838250.838252     Document Type: Article

References (36)

1. ALEFELD, G. AND HERZBERGER, J. 1983. Introduction to Interval Computations. Academic Press, New York.
2. BRAUNE, K. 1988. Standard functions for real and complex point and interval arguments with dynamic accuracy. Comput. Suppl. 6, 159-184.
3. BRAUNE, K. AND KRÄMER, W. 1987. High-accuracy standard functions for real and complex intervals. In Computerarithmetic: Scientific Computation and Programming Languages, E. Kaucher, U. Kulisch, and C. Ullrich, Eds. Teubner, Stuttgart, Germany, 81-114.
4. CAPRANI, O. AND MADSEN, K. 1980. Mean value forms in interval analysis. Computing 24, 147-154.
5. CASADO, L. G., GARCIA, I., AND CSENDES, T. 2000. A new multisection technique in interval methods for global optimization. Computing 65, 263-269.
6. CSENDES, T. AND RATZ, D. 1997. Subdivision direction selection in interval methods for global optimization. SIAM J. Numer. Anal. 34, 922-938.
7. FREE SOFTWARE FOUNDATION. 1991. GNU General Public License, Version 2. http://www.gnu.org/licenses/licenses.html.
8. GEDDES, K. O. AND MASON, J. C. 1975. Polynomial approximation by projections on the unit circle. SIAM J. Numer. Anal. 12, 111-120.
9. GRIEWANK, A. 2000. Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation. SIAM, Philadelphia, Pa.
10. HAIRER, E., NøRSETT, S. P., AND WANNER, G. 1993. Solving Ordinary Differential Equations I, 2nd ed. Springer, Berlin, Germany.
11. HANSEN, E. R. 1992. Global Optimization using Interval Analysis. Dekker, New York.
12. HENRICI, P. 1974. Applied and Computational Complex Analysis, Vol. I. Wiley, New York.
13. JAULIN, L., KIEFFER, M., DIDRIT, O., AND WALTER, E. 2001. Applied Interval Analysis. Springer, London, England.
14. KEARFOTT, R. B. 1996. Rigorous Global Search: Continuous Problems. Kluwer, Dordrecht, Netherlands.
15. KLATTE, R., KULISCH, U., LAWO, C., RAUCH, M., AND WIETHOFF, A. 1993. C-XSC: A C++ Class Library for Extended Scientific Computing. Springer, Berlin, Germany.
16. KLATTE, R., KULISCH, U., NEAGA, M., RATZ, D., AND ULLRICH, C. 1992. PASCAL-XSC - Language Reference with Examples. Springer, Berlin, Germany.
17. KRÄMER, W. 1988. Inverse standard functions for real and complex point and interval arguments with dynamic accuracy. Comput. Suppl. 6, 185-212.
18. KULISCH, U. AND MIRANKER, W. L. 1981. Computer Arithmetic in Theory and Practice. Academic Press, New York.
19. LERCH, M., TISCHLER, G., AND WOLFF VON GUDENBERG, J. 2001a. filib++ - Interval library specification and reference manual. Tech. Rep. 279, Universität Würzburg, Germany.
20. LERCH, M., TISCHLER, G., WOLFF VON GUDENBERG, J., HOFSCHUSTER, W., AND KRÄMER, W. 2001b. The interval library filib++ 2.0. Design, features and sample programs. Preprint 2001/4, Universität Wuppertal, Wissenschaftliches Rechnen/Softwaretechnologie, Germany.
21. MOORE, R. E. 1966. Interval Analysis. Prentice Hall, Englewood Cliffs, N.J.
22. NEHER, M. 1997. Enclosing power series solutions of ODEs. ZAMM 77, S2, S635-S636.
23. NEHER, M. 2001a. Geometric series bounds for the local errors of Taylor methods for linear n-th order ODEs. In Symbolic Algebraic Methods and Verification Methods, G. Alefeld, J. Rohn, S. Rump, and T. Yamamoto, Eds. Springer, Wien, Austria, 183-193.
24. NEHER, M. 2001b. The mean value form for complex analytic functions. Computing 67, 265-268.
25. NEHER, M. 2001c. Validated bounds for Taylor coefficients of analytic functions. Rel. Comput. 7, 307-319.
26. NEHER, M. 2003a. A complex mean value form for curves. Preprint 03/4, Fakultät für Mathematik, Universität Karlsruhe, Germany.
27. NEHER, M. 2003b. Improved validated bounds for Taylor coefficients and for Taylor remainder series. J. Comput. Appl. Math. 152, 393-404.
28. NEUMAIER, A. 1990. Interval Methods for Systems of Equations. Cambridge University Press, Cambridge, England.
29. RALL, L. B. 1981. Automatic Differentiation: Techniques and Applications. Lecture Notes in Computer Science, vol. 120. Springer, Berlin, Germany.
30. RATSCHEK, H. AND ROKNE, J. 1984. Computer Methods for the Range of Functions. Ellis Horwood Ltd. Chichester, England.
31. RATSCHEK, H. AND ROKNE, J. 1988. New Computer Methods for Global Optimization. Ellis Horwood Ltd. Chichester, England.
32. RATZ, D. 1996. Improved techniques for gap-treating and box-splitting in interval Newton Gauss-Seidel steps for optimization with validation. ZAMM 76, Suppl. 1, 323-326.
33. RUMP, S. 1999. INTLAB - INTerval LABoratory. In Developments in Reliable Computing, T. Csendes, Ed. Kluwer, Dordrecht, Netherlands. 77-104.
34. SAKURAI, T. AND SUGIURA, H. 2000. On factorization of analytic functions and its verification. Rel. Comput. 6, 459-470.
35. WALSH, J. L. 1935. Approximation by Polynomials in the Complex Domain. Gauthier-Villars, Paris, France.
36. WALTER, W. V. 1993. Fortran-XSC: A portable Fortran 90 module library for accurate and reliable scientific computing. In Validation Numerics - Theory and Applications, R. Albrecht, G. Alefeld, and H. J. Stetter, Eds. Comput. Suppl. 9, 265-285.