78 citations · 172 across the 17 of their papers we have counts for
1 paper · 1 filter
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…