Computing Popov and Hermite forms of rectangular polynomial matrices

Vincent Neiger, Johan Rosenkilde, Grigory Solomatov

We consider the computation of two normal forms for matrices over the univariate polynomials: the Popov form and the Hermite form. For matrices which are square and nonsingular, de…