9 citations · 12 across the 2 of their papers we have counts for
2 papers
math.AC2012★ 3 cited
Simple signature-based Groebner basis algorithm
Vasily Galkin
This paper presents an algorithm for computing Groebner bases based upon labeled polynomials and ideas from the algorithm F5. The main highlights of this algorithm compared with an…
math.AC2012★ 9 cited
Termination of Original F5
Vasily Galkin
The original F5 algorithm introduced by Faugère is formulated for any homogeneous polynomial set input. The correctness of output is shown for any input that terminates the algorit…