Power series in computer algebra (Q1198232): Difference between revisions

Let \(f\) be a function, meromorphic in a neighbourhood of \(z_ 0\in\mathbb{C}\) and having a pole in \(z_ 0\) [or being holomorphic in \(z_ 0\)]. The paper deals with the following method to compute the Laurent expansion [or the Taylor expansion] of \(f\) at \(z_ 0\): Find a homogeneous differential equation which has polynomials as coefficients and is satisfied by \(f\), translate the differential equation into a linear recursion formula for the coefficients of the Laurent expansion [or the Taylor expansion] and calculate the coefficients from the recursion formula. This method may be applied to a wide class of functions; it has been implemented in the computer algebra systems Maple and Mathematica.