Efficient Computation of Zero-dimensional Gröbner Bases by Change of Ordering

Journal of Symbolic Computation - Tập 16 - Trang 329-344 - 1993
J.C. Faugère1, P. Gianni1, D. Lazard1, T. Mora1
1LITP, Université Paris VI, Case 168, 4 place Jussieu, F-75252 Paris Cedex 05; Dipartimento di Matematica, Università, via Buonarroti 2, I-56127 Pisa and Dipartimento di Matematica, Università via L.B. Alberti 4, I-16132 Genova