Applied and computational complex analysis. Vol. 3: discrete Fourier analysis—Cauchy integrals—construction of conformal maps---univalent functions
New computer methods for global optimization
New computer methods for global optimization
Solving ordinary differential equations I (2nd revised. ed.): nonstiff problems
Solving ordinary differential equations I (2nd revised. ed.): nonstiff problems
Subdivision Direction Selection in Interval Methods for Global Optimization
SIAM Journal on Numerical Analysis
Evaluating derivatives: principles and techniques of algorithmic differentiation
Evaluating derivatives: principles and techniques of algorithmic differentiation
Pascal-XSC: Language Reference with Examples
Pascal-XSC: Language Reference with Examples
Computer Arithmetic in Theory and Practice
Computer Arithmetic in Theory and Practice
C-XSC: A C++ Class Library for Extended Scientific Computing
C-XSC: A C++ Class Library for Extended Scientific Computing
Improved validated bounds for Taylor coefficients and for Taylor remainder series
Journal of Computational and Applied Mathematics - Proceedings of the international conference on recent advances in computational mathematics
C-XSC and Closely Related Software Packages
Numerical Validation in Current Hardware Architectures
Effective bounds for P-recursive sequences
Journal of Symbolic Computation
Efficient and accurate computation of upper bounds of approximation errors
Theoretical Computer Science
| Hi-index | 0.00 |
This article presents methods for practical computation of verified bounds for Taylor coefficients of analytic functions. These bounds are constructed from Cauchy's estimate and from some of its modifications. Interval arithmetic is used to obtain rigorous results.