9 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.SC2010★ 2 cited
The F5 Algorithm in Buchberger's Style
Yao Sun, Dingkang Wang
The famous F5 algorithm for computing \gr basis was presented by Faugère in 2002. The original version of F5 is given in programming codes, so it is a bit difficult to understand.…
cs.SC2010★ 9 cited
A New Proof for the Correctness of F5 (F5-Like) Algorithm
Yao Sun, Dingkang Wang
The famous F5 algorithm for computing Gröbner basis was presented by Faugère in 2002 without complete proofs for its correctness. The current authors have simplified the original F…