A new symbolic computation for formal integration with exact power series (Q1763268)

The authors propose a symbolic algorithm to compute exact power series solutions of integrals in the form: \[ \int \frac{e^{u(x)}} {[f(x)]^2}\,dx \] where \(f(x)\) is a solution of the second order linear homogeneous differential equation: \[ a_0(x) \frac{d^2y} {dx^2}+a_1(x) \frac{dy}{dx}+ a_2(x)y=0 \] with \(a_0(x)\) and \(a_1(x)\) polynomial coefficients and \[ u(x)=-\int \frac{a_1(x)} {a_0(x)}\,dx. \] They use algorithmic techniques and generalized hypergeometric series. Finally a Maple code is proposed.