A new efficient algorithm for computing Gröbner bases without reduction to zero (F5 (2002)

by J-C Faugère
Venue:In Proceedings of the 2002 international symposium on Symbolic and algebraic computation (ISSAC