ACETAF

ACETAF: A software package for computing validated bounds for Taylor coefficients of analytic functions. 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.

This software is also peer reviewed by journal TOMS.