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