23 citations · 54 across the 14 of their papers we have counts for
Showing 2010 · cs.SCShow all
3 papers · 2 filters
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★ 4 cited
On Computing Groebner Basis in the Rings of Differential Operators
Xiaodong Ma, Yao Sun, Dingkang Wang
Insa and Pauer presented a basic theory of Groebner basis for differential operators with coefficients in a commutative ring in 1998, and a criterion was proposed to determine if a…
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…