E. H. Bareiss, Computational solution of matrix problems over an integral domain, J. Inst. Math. Appl, vol.10, pp.68-104, 1972.

B. Beckermann and G. Labahn, A uniform approach for the fast computation of matrixtype Padé approximants, SIAM Journal on Matrix Analysis and Applications, vol.15, pp.804-823, 1994.

B. Beckermann, G. Labahn, and G. Villard, Shifted normal forms of polynomial matrices, Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation (ISSAC'99), pp.189-196, 1999.

J. Bunch and J. Hopcroft, Triangular factorization and inversion by fast matrix multiplication, Math. Comp, vol.28, pp.231-236, 1974.

P. Bürgisser, M. Clausen, and M. A. Shokrollahi, Grundlehren der mathematischen Wissenschaften, vol.315, 1997.

D. G. Cantor and E. Kaltofen, On fast multiplication of polynomials over arbitrary algebras, Acta Informatica, vol.28, issue.7, pp.693-701, 1991.

G. D. Forney and J. , Minimal bases of rational vector spaces, with applications to multivariable linear systems, SIAM Journal on Control, vol.13, pp.493-520, 1975.

F. R. Gantmacher, Théorie des matrices, Editions Jacques Gabay, 1990.

J. Zur-gathen and J. Gerhard, Modern Computer Algebra, 1999.

T. Kailath, Linear systems, 1980.

J. D. Lipson, Chinese remainder and interpolation algorithms, Proc. 2nd ACM Symposium on Symbolic and Algebraic Manipulation, pp.372-391, 1971.

C. Lin, C. Yang, and T. Hsieh, An algorithm for inverting rational matrices, Systems and Control Letters, vol.27, pp.47-53, 1996.

R. T. Moenck and J. H. Carter, Approximate algorithms to derive exact solutions to systems of linear equations, Proc. EUROSAM, vol.72, pp.63-73, 1979.

M. Quéré-stuchlik, Algorithmique des faisceaux linéaires de matrices -ApplicationàApplication`Applicationà la théorie des systèmes linéaires etàet`età la résolution d'´ equations algébro-´ elémentaires, 1997.

A. Schönhage, Unitäre Transformationen grosser Matrizen, Numerishe Math, vol.20, pp.409-417, 1973.

A. Schönhage and V. Strassen, Schnelle Multiplikation Grosser Zahlen, Computing, vol.7, pp.281-292, 1971.

A. Storjohann, Algorithms for Matrix Canonical Forms, 2000.

, High-order lifting, Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation (ISSAC'02), pp.246-254, 2002.

M. Stuchlik-quéré, How to compute minimal bases using Padé approximants, 1997.