In algebra commutativa, algebra computazionale e geometria algebrica, una base di Gröbner è un tipo particolare di sottoinsieme generativo di un ideale I {\displaystyle I} in un anello dei polinomi k [ x 1, …, x n ] {\displaystyle k[x_{1},\ldots,x_{n}]}, dove k {\displaystyle k} è un campo. Wikipedia