78 citations · 172 across the 17 of their papers we have counts for
1 paper · 1 filter
Christian Eder, Justin Gash, John Perry
The structure of the F5 algorithm to compute Gröbner bases makes it very efficient. However, while it is believed to terminate for so-called regular sequences, it is not clear whet…