УДК 512

Простой итеративный алгоритм вычисления базисов Гребнера, основанный на сигнатурах / В. В. Галкин. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2013. ? 5. С. 20-25.

Работа описывает алгоритм вычисления базисов Гребнера, основанный на использовании отмеченных многочленов из алгоритма F5. Отличительной особенностью алгоритма является простота как самого алгоритма, так и доказательства его корректности, достигнутая без потери эффективности. Это позволило создать простую реализацию, не уступающую более сложным аналогам по производительности.

Ключевые слова: базис Гребнера, алгоритм F5, отмеченные многочлены.

Библиогр. 11.