|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Доказательство остановки алгоритма Фожера F-пятькурсовая работа (Специалист)
- Научный руководитель: Уланский Е.А.
- Автор: Семенюк П.И.,
- Тип: Специалист
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Кафедра: Кафедра теории чисел
- Год защиты: 2018
- Курс: 5
- Аннотация: В курсовой работе изучается алгоритм Фожера F5 построения базиса Грёбнера заданного идеала кольца многочленов. В существующей на сегодняшний день достаточно обширной литературе, посвящённой описанию данного алгоритма, не обнаруживается внятного доказательства как его корректности, так и остановки. Автор провёл объёмное исследование и привёл в своей работе максимально подробное описание алгоритма, указывая явно этапы его работы, теоретическое обоснование которых требует серьёзной доработки.
- Добавил в систему: Уланский Евгений Александрович