A local construction of the Smith normal form of a matrix polynomial. - Jon Wilkening; Jia Yu 015 (J. Symb. Comput., 2011)