Symbolic Computation Group
David R. Cheriton School of Computer Science


Friday, March 8, 2002, at U. of Waterloo.
Abstract:
In this talk, we outline an algorithm for factoring a linear
homogeneous partial differential system whose coefficients are
rational functions in two independent variables x, y, and whose
solution space is finitedimensional over the constant field.
In other words, the algorithm computes all left ideals containing
a given zerodimensional left ideal in the ring of partial
differential operators Dx and Dy over the field of rational
functions in x and y.

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