Algorithmes fondamentaux en algèbre commutative
Journées algorithmiques, Astérisque, no. 38-39 (1976), p. 131-138
@incollection{AST_1976__38-39__131_0,
     author = {Lazard, Daniel},
     title = {Algorithmes fondamentaux en alg\`ebre commutative},
     booktitle = {Journ\'ees algorithmiques},
     author = {Collectif},
     series = {Ast\'erisque},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {38-39},
     year = {1976},
     pages = {131-138},
     zbl = {0353.13002},
     mrnumber = {439831},
     language = {fr},
     url = {http://www.numdam.org/item/AST_1976__38-39__131_0}
}
Lazard, Daniel. Algorithmes fondamentaux en algèbre commutative, in Journées algorithmiques, Astérisque, no. 38-39 (1976), pp. 131-138. http://www.numdam.org/item/AST_1976__38-39__131_0/

[C] G. E. Collins : The SAC-1 polynomial greatest common divisor and resultant system Computer. Sci. Dep. Tech. Rep. 145, U of Winconsin(72)

[H] G. Hermann : Die Frage der endlich vielen Schritte in der theorie der Polynomideale, Math. Ann. 95 (1926), 736-788. | Article | JFM 52.0127.01 | MR 1512302

[L] D. Lazard : Algèbre linéaire sur les anneaux de polynômes. Cahiers de Math. N°3 (1974) Univ. de Montpellier. | MR 384782

D. Lazard : Équations linéaires sur les anneaux de polynômes. Comptes- Rendus du colloque de Limoges (1975). A paraître. | Zbl 0371.13010

[MC] M. T. Mcclellan : The exact solution of systems of linear equations with polynomial coefficients. J. of A.C.M. 20 (1973) 563-588. | MR 347068 | Zbl 0273.65030

[MU] D. R. Musser : Multivariate polynomial factorisation. J. of A.C.M. 22 (1975) 291-308. | MR 396470 | Zbl 0301.65029

[S] A. Seidenberg : Construction in Algebra. Trans. Amer. Math. Soc. 197 (1974) 273-313. | Article | MR 349648 | Zbl 0356.13007

[V d W] B. L. Van Der Waerden : Moderne Algebra, vol. 1, 2ème ed. Springer, Berlin 1937; ou trad. Angl. Ungar, New-York (1949).