Improved validated bounds for Taylor coefficients and for Taylor remainder series

Journal of Computational and Applied Mathematics

Volumn 152, Issue 1-2, 2003, Pages 393-404

  Neher, M ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

Bounds for Taylor coefficients of analytic functions; Complex interval arithmetic; Enclosure methods; Mathematical software

Indexed keywords

ESTIMATION; FUNCTIONS; NUMERICAL ANALYSIS;

TAYLOR REMAINDER SERIES;

COMPUTATIONAL METHODS;

MATHEMATICAL ANALYSIS;

EID: 0037334683     PISSN: 03770427     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0377-0427(02)00719-7     Document Type: Article

References (24)

1. G. Alefeld, J. Herzberger, Introduction to Interval Computations, Academic Press, New York, 1983.
2. K. Braune, W. Krämer, High-accuracy standard functions for real and complex intervals, in: E. Kaucher, U. Kulisch, G.Ullrich (Eds.), Computerarithmetic: Scientific Computation and Programming Languages, Teubner, Stuttgart, 1987, pp.81-114.
3. G. Bühler, Standardfunktionen für komplexe Intervalle im 64 Bit IEEE Datenformat, Diploma Thesis, Universität Karlsruhe, 1993.
4. I. Eble, M. Neher, Computation of validated bounds for Taylor coefficients of analytic functions with ACETAF, Preprint 01/18, Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung, Univ. Karlsruhe, 2001.
5. K.O. Geddes, J.C. Mason, Polynomial approximation by projections on the unit circle, SIAM J. Numer. Anal. 12 (1975) 111-120.
6. A. Griewank, Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, SIAM, 2000.
7. E.R. Hansen, Global Optimization Using Interval Analysis, Marcel Dekker, New York, 1992.
8. P. Henrici, Applied and Computational Complex Analysis, Vol.I, Wiley, New York, 1974.
9. L. Jaulin, M. KieNer, O. Didrit, E. Walter, Applied Interval Analysis, Springer, London, 2001.
10. R.B. Kearfott, Rigorous Global Search: Continuous Problems, Kluwer, Dordrecht, 1996.
11. R. Klatte, U. Kulisch, C. Lawo, M. Rauch, A. WiethoN, C-XSC: A C++ Class Library for Extended Scientific Computing, Springer, Berlin, 1993.
12. U. Kulisch, W.L. Miranker, Computer Arithmetic in Theory and Practice, Academic Press, New York, 1981.
13. M. Lerch, G. Tischler, J. Wolff von Gudenberg, filib++-Interval Library Specification and Reference Manual, Technical Report 279, Universität Würzburg, 2001.
14. M. Lerch, G. Tischler, J. Wolff von Gudenberg, W. Hofschuster, W.Krämer.The Interval Library filib++ 2.0. Design, Features and Sample Programs, Preprint 2001/4, Universität Wuppertal, Wissenschaftliches Rechnen/Software technologie, 2001.
15. R.E. Moore, Interval Analysis, Prentice-Hall, Englewood Cliffs, NJ, 1966.
16. M.Neher, Enclosing power series solutions of ODEs, Z. Angew. Math. Mech. 77 (S2) (1997) S635-S636.
17. M. Neher, Berechenbare Schranken von Taylorkoeffizienten analytischer Funktionen, Z. Angew. Math. Mech.81 (S3) (2001) S747-S748.
18. M. Neher, Geometric series bounds for the local errors of Taylor methods for linear nth order ODEs, in: G. Alefeld, J. Rohn, S. Rump, T. Yamamoto (Eds.), Symbolic Algebraic Methods and Verification Methods, Springer, Wien, 2001, pp. 183-193.
19. M. Neher, Validated bounds for Taylor coefficients of analytic functions, Reliable Comput. 7 (2001) 307-319.
20. A. Neumaier, Interval Methods for Systems of Equations, Cambridge University Press, Cambridge, 1990.
21. L.B. Rall, Automatic Differentiation: Techniques and Applications, in: Lecture Notes in Computer Science, Vol. 120, Springer, Berlin, 1981.
22. H. Ratschek, J. Rokne, New Computer Methods for Global Optimization, Ellis Horwood Limited, Chichester, 1988.
23. T. Sakurai, H. Sugiura, On factorization of analytic functions and its verification, Reliable Comput. 6 (2000) 459-470.
24. J.L. Walsh, Approximation by Polynomials in the Complex Domain, Gauthier-Villars, Paris, 1935.