Validated bounds for Taylor coefficients of analytic functions

Reliable Computing

Volumn 7, Issue 4, 2001, Pages 307-319

  Neher, Markus ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035426375     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1011411307404     Document Type: Article

References (17)

1. Alefeld, G. and Herzberger, J.: Introduction to Interval Computations, Academic Press, New York, 1983.
2. Braune, K.: Standard Functions for Real and Complex Point and Interval Arguments with Dynamic Accuracy, Computing Supplementum 6 (1988), pp. 159-184.
3. Braune, K. and Krämer, W.: High-Accuracy Standard Functions for Real and Complex Intervals, in: Kaucher, E., Kulisch, U., and Ullrich, Ch. (eds), Computerarithmetic: Scientific Computation and Programming Languages, Teubner, Stuttgart, 1987, pp. 81-114.
4. Geddes, K. O. and Mason, J. C.: Polynomial Approximation by Projections on the Unit Circle, SIAM J. Numer. Anal. 12 (1975), pp. 111-120.
5. Henrici, P.: Applied and Computational Complex Analysis, Vol. I, Wiley, New York, 1974.
6. Henrici, P.: Circular Arithmetic and the Determination of Polynomial Zeros, Springer Lecture Notes in Mathematics 228 (1971), pp. 86-92.
7. Klatte, R., Kulisch, U., Lawo, Ch., Rauch, M., and Wiethoff, A.: C-XSC: A C++ Class Library for Extended Scientific Computing, Springer, Berlin, 1993.
8. Krämer, W.: Inverse Standard Functions for Real and Complex Point and Interval Arguments with Dynamic Accuracy, Computing Supplementum 6 (1988), pp. 185-212.
9. Moore, R. E.: Interval Analysis, Prentice Hall, Englewood Cliffs, NJ, 1966.
10. Neher, M.: An Enclosure Method for the Solution of Linear ODEs with Polynomial Coefficients, Numer. Funct. Anal. and Optimiz. 20 (1999), pp. 779-803.
11. Neher, M.: Enclosing Power Series Solutions of ODEs, ZAMM 77 (S2) (1997), pp. S635-S636.
12. Neher, M.: Geometric Series Bounds for the Local Errors of Taylor Methods for Linear n-th Order ODEs, to appear in: Alefeld, G., Rohn, J., Rump, S., and Yamamoto, T. (eds.), Symbolic-algebraic Methods and Verification Methods, Springer, Wien, 2001.
13. Neumaier, A.: Interval Methods for Systems of Equations, Cambridge University Press, Cambridge, 1990.
14. Petković, M. S. and Petković, L. D.: Complex Interval Arithmetic and Its Applications, Wiley-VCH, Berlin, 1998.
15. Rail, L. B.: Automatic Differentiation: Techniques and Applications, Lecture Notes in Computer Science 120, Springer, Berlin, 1981.
16. Ratschek, H. and Rokne, J.: Computer Methods for the Range of Functions, Ellis Horwood Limited, Chichester, 1984.
17. Ratschek, H. and Rokne, J.: New Computer Methods for Global Optimization, Ellis Horwood Limited, Chichester, 1988.