On Existence and Uniqueness of Formal Power Series Solutions of Algebraic Ordinary Differential Equations

Sebastian Falkensteiner, Yi Zhang, Thieu N. Vo

Given an algebraic ordinary differential equation (AODE), we propose a computational method to determine when a truncated power series can be extended to a formal power series solu…