Глава
Базисы Гребнера некоторых параметрических семейств
С. 98-100.
Мы изучаем базисы Гребнера идеалов в кольце многочленов k[x0, ..., xn, ...] от счетного набора переменных, порожденных конечным набором параметрических многочленов особого вида. У таких идеалов существует конечный эквивариантный базис Гребнера.