|
Вестник Московского университета. Серия 1: Математика. Механика, 2013, номер 5, страницы 20–25
(Mi vmumm432)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Математика
Простой итеративный алгоритм вычисления базисов Грёбнера, основанный на сигнатурах
В. В. Галкин Московский государственный университет имени М. В. Ломоносова, механико-математический факультет
Аннотация:
Работа описывает алгоритм вычисления базисов Грёбнера, основанный на использовании отмеченных многочленов из алгоритма F5. Отличительной особенностью алгоритма является простота как самого алгоритма, так и доказательства его корректности, достигнутая без потери эффективности. Это позволило создать простую реализацию, не уступающую более сложным аналогам по производительности.
Ключевые слова:
базис Грёбнера, алгоритм F5, отмеченные многочлены.
Поступила в редакцию: 18.05.2012
Образец цитирования:
В. В. Галкин, “Простой итеративный алгоритм вычисления базисов Грёбнера, основанный на сигнатурах”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2013, № 5, 20–25; Moscow University Mathematics Bulletin, 68:5 (2013), 231–236
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vmumm432 https://www.mathnet.ru/rus/vmumm/y2013/i5/p20
|
Статистика просмотров: |
Страница аннотации: | 105 | PDF полного текста: | 51 | Список литературы: | 32 |
|