Simple iteractive algorithm for computation of Groebner bases based on signatures / V. V. Galkin. //Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika. 2013. № 5. P. 20-25 [Moscow Univ. Math. Bulletin. Vol. 68, N 5, 2013.].
This paper presents an algorithm for computing Groebner bases based upon labeled polynomials from the algorithm F5. The main highlight of this algorithm compared with analogues is the simplicity both of the algorithm and of its correctness proof achieved without loss of efficiency. This leads to a simple implementation which performance is in par with more complex analogues.
Key words: Groebner basis, F5 algorithm, labeled polynomials.