Простой итеративный алгоритм вычисления базисов Грёбнера, основанный на сигнатурах

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