Computing power series in polynomial time (Q1102956)

It is shown that if a real-valued function f is polynomial-time computable on [a,b], with \(a<0<b\), and is analytic at 0, then the Taylor coefficients of f at 0, as a sequence of real numbers, is polynomial-time computable. Here, the notion of polynomial-time computable real numbers and real functions is based on the formal definitions given by the authors [Theor. Comput. Sci. 20, 323-352 (1982; Zbl 0498.03047)].