Department of Mathematics
Server

In this talk, we define (weak) Popov forms of matrices over Ore domains, and exhibit effective algorithms to find them. In particular, we consider matrices over skew polynomial rings and Weyl algebras. As applications we give general methods to calculate the ranks of such matrices, and a method to transfer a system of differential equations into a first order equation.