Learning selection strategies in Buchberger's algorithm

Dylan Peifer, Michael Stillman, Daniel Halpern-Leistner

Studying the set of exact solutions of a system of polynomial equations largely depends on a single iterative algorithm, known as Buchberger's algorithm. Optimized versions of this…