Efficient computation of zero-dimensional Gröbner bases by change of ordering (1995)

by J Faugère, P Gianni, D Lazard, T Mora
Venue:J. Symbolic Comput