УДК 512
Простой итеративный алгоритм вычисления базисов Грёбнера, основанный на сигнатурах / В. В. Галкин. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2013. № 5. С. 20-25.
Работа описывает алгоритм вычисления базисов Грёбнера, основанный на использовании отмеченных многочленов из алгоритма F5. Отличительной особенностью алгоритма является простота как самого алгоритма, так и доказательства его корректности, достигнутая без потери эффективности. Это позволило создать простую реализацию, не уступающую более сложным аналогам по производительности.
Ключевые слова: базис Грёбнера, алгоритм F5, отмеченные многочлены.
Библиогр. 11.
