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 finite-dimensional over the constant field.
In other words, the algorithm computes all left ideals containing
a given zero-dimensional 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.