Symbolic Computation Group
David R. Cheriton School of Computer Science


Friday, June 3, 2005, at U. of Waterloo.
Abstract:
It is a classical result that the coefficients of power series solutions of
a linear differential equation obey a linear recurrence. This recurrence
can be computed from simple ring morphism from linear differential operators
to linear difference operators. However, the recurrence might not be minimal
if the initial differential equations possesses apparent singularities, that
is, if there are points where the differential equation is singular, but its
solutions are not. The problem is to find a suitable multiple of the
original equation, which may be an equation of higher order, which is free
of apparent singularities.

Last modified on Sunday, 04 November 2012, at 15:42 hours.