78 citations · 147 across the 7 of their papers we have counts for
Showing 2009 · math.ACShow all
2 papers · 2 filters
math.AC2009★ 1 cited
An extension of Buchberger's criteria for Groebner basis decision
John Perry
Two fundamental questions in the theory of Groebner bases are decision ("Is a basis G of a polynomial ideal a Groebner basis?") and transformation ("If it is not, how do we transfo…
math.AC2009★ 78 cited
F5C: a variant of Faugere's F5 algorithm with reduced Groebner bases
Christian Eder, John Perry
Faugere's F5 algorithm computes a Groebner basis incrementally, by computing a sequence of (non-reduced) Groebner bases. The authors describe a variant of F5, called F5C, that repl…