Jean-Charles Faugère. A new efficient algorithm for computing Gröbner bases without reduction to zero F5.
International Symposium on Symbolic and Algebraic Computation Symposium - ISSAC 2002, Jul 2002, Villeneuve d'Ascq, France. pp.75-83,
⟨10.1145/780506.780516⟩.
⟨inria-00100995⟩