48 citations · 73 across the 5 of their papers we have counts for
1 paper · 1 filter
Christian Eder
Faugere's F5 algorithm is one of the fastest known algorithms for the computation of Grobner bases. So far only the F5 Criterion is proved, whereas the second powerful criterion, t…