Browsing University of Waterloo by Author "Kim, Myung Sub"
Now showing items 1-1 of 1
-
Hermite form computation of matrices of differential polynomials
Kim, Myung Sub (University of Waterloo, 2009-08-27)Given a matrix A in F(t)[D;\delta]^{n\times n} over the ring of differential polynomials, we first prove the existence of the Hermite form H of A over this ring. Then we determine degree bounds on U and H such that UA=H. ...