M. S. Boudellioua and A. Quadrat, “Serre’s Reduction of Linear Functional Systems,” Mathematics in Computer Science, Vol. 4, No. 2, 2010, pp. 289-312. doi:10.1007/s11786-010-0057-y
has been cited by the following article:
TITLE: Computation of the Smith Form for Multivariate Polynomial Matrices Using Maple
AUTHORS: Mohamed Salah Boudellioua
KEYWORDS: Smith Form; Unimodular; Equivalence; Quillen-Suslin Theorem; Maple
JOURNAL NAME: American Journal of Computational Mathematics, Vol.2 No.1, March 21, 2012
ABSTRACT: 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.