96 citations · 96 across the 2 of their papers we have counts for
1 paper · 2 filters
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…