Gröbner bases and their applications¶ The method of Gröbner bases is a powerful technique for solving problems in commutative algebra (polynomial ideal theory, algebraic geometry) that was introduced by Bruno Buchberger in his PhD thesis [Buchberger1965thesis] (for English translation see [Abramson2006translation] and for a historical background see [Abramson2009history]). Gröbner bases provide a