We state and analyze a generalization of the “truncation trick” suggested by Gourdon and Sebah to improve the performance of power series evaluation by binary splitting. It follows from our analysis that the values of D-finite functions (i.e., functions described as solutions of linear differential equations with polynomial coefficients) may be computed with error bounded by 2−p in time O(p(lg p)3+o(1)) and space O(p). The standard fast algorithm for this task, due to Chudnovsky and Chudnovsky, achieves the same time complexity bound but requires Θ(p lg p) bits of memory.
CITATION STYLE
Mezzarobba, M. (2012). A note on the space complexity of fast D-finite function evaluation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7442 LNCS, pp. 212–223). Springer Verlag. https://doi.org/10.1007/978-3-642-32973-9_18
Mendeley helps you to discover research relevant for your work.