Symbolic Computation Group PhD Seminar

2012 Nov 27 at 13:30

DC 1304

Computing Column Bases of Polynomial Matrices

Wei Zhou, PhD candidate, David R. Cheriton School of Comp. Sci., Univ. Waterloo

In this talk we present an efficient deterministic algorithm for the computation of a column basis of an input matrix of univariate polynomials over a field. In addition discuss some of its applications of this algorithm. In particular we show that our algorithm can be used to generate efficient algorithms for the computation of column reduced form, determinant, and Popov and Hermite normal forms.