Ingo Eble Markus Neher ACETAF: A software package for computing validated bounds for Taylor coefficients of analytic functions. 263-286 2003 29 ACM Trans. Math. Softw. 3 http://doi.acm.org/10.1145/838250.838252 db/journals/toms/toms29.html#EbleN03