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

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

Авторы

Галкин В.В.

Тэги

базисы Гребнера Гребнера базисы алгоритмы доказательства отмеченные многочлены

Тематические рубрики

Прикладные науки. Медицина. Технология

Предметные рубрики

Физико-математические науки

В этом же номере:

О распределении значений аналогов сумм Клостермана, О квадратичных показателях иррациональности некоторых чисел, ...

Резюме по документу**

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

** - вычисляется автоматически, возможны погрешности

Похожие документы:

Похожие документы из РУАЭСТ
|
Похожие документы из Руконт

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

Помощь:

Участники: