Simple signature based iterative algorithm for calculation of Gröbner bases
Vasily Galkin · Moscow University Mathematics Bulletin · 2013
The paper presents an algorithm for calculation of Gröbner bases with the use of labeled polynomials from the F5 algorithm. The distinct feature of this algorithm is the simplicity both of the algorithm and the proof of its correctness achieved without loss of efficiency. This leads to a simple implementation whose performance is in par with more complex analogues.