Реализация автоматизированной системы классификации и оценки эффективности алгоритмов вычисления базисов Грёбнера

Ю. А. Блинков^a, А. А. Мамонов^ab, С. И. Салпагаров<sup>ab

a</sup> Саратовский национальный исследовательский государственный университет им. Н. Г. Чернышевского ул. Астраханская, д. 83, Саратов
^b Российский университет дружбы народов имени Патриса Лумумбы, Москва

Аннотация: В настоящей работе представлено описание разработки автоматизированной системы для классификации и оценки эффективности алгоритмов вычисления базисов Грёбнера. Описаны этапы создания специализированного инструмента тестирования для обработки различных наборов входных данных, выполнения вычислений с использованием различных алгоритмов и визуализации результатов. Указаны этапы методологии классификации тестовых задач по структурной сложности, вычислительным характеристикам и тематической принадлежности. Особое внимание уделяется механизмам оптимизации использования памяти и повышению производительности вычислений. Планируется тестирование системы на репрезентативном наборе задач различной сложности. Библ. – 14 назв.

Ключевые слова: базисы Грёбнера, компьютерная алгебра, система тестирования, классификация задач.

УДК: 512.714

Поступило: 29.09.2025