Abstract
A problem of finding a validated polynomial factor of an analytic function is considered. A validated factorization method was presented by Sakurai and Sugiura in which the bounds of Taylor coefficients of the function was assumed to be available. In this paper, we use complex circular arithmetic to perform the calculation of validated bounds for the Taylor coefficients of a function. Numerical examples show the efficiency of the presented method.
