96 citations · 103 across the 3 of their papers we have counts for
1 paper · 1 filter
Martin Albrecht, John Perry
We describe an algorithm to compute Gröbner bases which combines F4-style reduction with the F5 criteria. Both F4 and F5 originate in the work of Jean-Charles Faugère, who has succ…