期刊名称:American Journal of Computational Mathematics
印刷版ISSN:2161-1203
电子版ISSN:2161-1211
出版年度:2012
卷号:2
期号:1
页码:21-26
DOI:10.4236/ajcm.2012.21003
出版社:Scientific Research Publishing
摘要:In this paper we show how the transformations associated with the reduction to the Smith form of some classes of mul-tivariate polynomial matrices are computed. Using a Maple implementation of a constructive version of the Quillen-Suslin Theorem, we present two algorithms for the reduction to a particular Smith form often associated with the simplification of linear systems of multidimensional equations.
关键词:Smith Form; Unimodular; Equivalence; Quillen-Suslin Theorem; Maple