ACETAF: A software package for computing validated bounds for Taylor coefficients of analytic functions. - Ingo Eble; Markus Neher 001 (ACM Trans. Math. Softw., 2003)