Equivalence to Smith form of a class of multivariate polynomial matrices

In this paper, we consider the problem of reducing a multivariate polynomial matrix to Smith form by a unimodular equivalence transformation. Grobner bases are used to determine whether a certain class of multivariate polynomial matrices is equivalent with its Smith form. The proposed conditions can be easily tested using a computer algebra system.