Please use this identifier to cite or link to this item: http://hdl.handle.net/10012/4626

 Title: Hermite form computation of matrices of differential polynomials Authors: Kim, Myung Sub Keywords: Symbolic ComputationDifferential Algebra Approved Date: 27-Aug-2009 Date Submitted: 24-Aug-2009 Abstract: 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 of A by reducing the problem to solving a linear system of equations over F(t). The algorithm requires a polynomial number of operations in F in terms of the input sizes: n, deg_{D} A, and deg_{t} A. When F=Q it requires time polynomial in the bit-length of the rational coefficients as well. Program: Computer Science Department: School of Computer Science Degree: Master of Mathematics URI: http://hdl.handle.net/10012/4626 Appears in Collections: Electronic Theses and Dissertations (UW) Faculty of Mathematics Theses and Dissertations

Files in This Item:

File Description SizeFormat

 This item is protected by original copyright View Licence

 University of Waterloo Library 200 University Avenue West Waterloo, Ontario, Canada N2L 3G1 519 888 4883 contact us | give us feedback | http://www.lib.uwaterloo.ca | © 2006 University of Waterloo