Improved validated bounds for Taylor coefficients and for Taylor remainder series

This paper presents methods for the validated computation of bounds for Taylor coefficients and bounds for Taylor remainder series of analytic functions. These bounds are derived from modifications of Cauchyʹs estimate. The proposed methods have been implemented in mathematical software called ACETAF. Interval arithmetic is used to restore mathematical rigour to practical calculations. The performance of ACETAF is demonstrated with numerical examples.