Hermite form computation of matrices of differential polynomials

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. Finally, based on the degree bounds on U and H, we compute the Hermite form H o...

Full description

Bibliographic Details
Main Author: Kim, Myung Sub
Language:en
Published: 2009
Subjects:
Online Access:http://hdl.handle.net/10012/4626