Équations linéaires dans les anneaux de polynômes
Utilisation des calculateurs en mathématiques pures (Limoges, 1975), Mémoires de la Société Mathématique de France no. 49-50  (1977), p. 131-135
@incollection{MSMF_1977__49-50__131_0,
     author = {Lazard, Daniel},
     title = {\'Equations lin\'eaires dans les anneaux de polyn\^omes},
     booktitle = {Utilisation des calculateurs en math\'ematiques pures (Limoges, 1975)},
     author = {Collectif},
     series = {M\'emoires de la Soci\'et\'e Math\'ematique de France},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {49-50},
     year = {1977},
     pages = {131-135},
     zbl = {0371.13010},
     mrnumber = {58 \#5645},
     language = {mul},
     url = {http://www.numdam.org/item/MSMF_1977__49-50__131_0}
}
Lazard, Daniel. Équations linéaires dans les anneaux de polynômes, in Utilisation des calculateurs en mathématiques pures (Limoges, 1975), Mémoires de la Société Mathématique de France, no. 49-50 (1977), pp. 131-135. doi : 10.24033/msmf.221. http://www.numdam.org/item/MSMF_1977__49-50__131_0/

[1] G. Hermann. - Die Frage der entlich vielen Schritte in der Theorie der Polynomideale. - Math. Annalen 95 (1926), p. 736-788. | JFM 52.0127.01

[2] D. Ferrand. - Les modules projectifs de type fini sur un anneau de polynômes sur un corps sont libres. - Séminaire Bourbaki. - Juin 1976. | Numdam | Zbl 0359.13002

[3] D. Lazard. - Calculs sur les modules projectifs. - Publ. Sém. Math. Univ. Rennes. - Colloque d'Algèbre commutative (1972). | MR 51 #8093 | Zbl 0236.12102

[4] D. Lazard. - Algèbre linéaire sur K[X1 , ..., Xn] et élimination. - Soumis à Bull. S.M.F. | Numdam | Zbl 0447.13008

[5] A. Seidenberg. - Construction in Algebra. - Trans. Amer. Math. Soc. 197 (1974) p. 273-313. | MR 50 #2141 | Zbl 0356.13007