Abstract: | The practical computation of verified bounds for Taylor coefficients of analytic functions is considered. Using interval arithmetic, the bounds are constructed from Cauchy's estimate and from some of its modifications. By employing the mean value form for intermediate function evaluations, the accuracy of the bounds is improved by several powers of ten, compared to earlier results. |