Разработка системы для оценки производительности алгоритмов компьютерной алгебры при нахождении базисов Грёбнера

Блинков Ю.А.; Салпагаров С.И.; Мамонов А.А.; Акопян И.А.

Разработка системы для оценки производительности алгоритмов компьютерной алгебры при нахождении базисов Грёбнера

Блинков Ю.А., Салпагаров С.И., Мамонов А.А., Акопян И.А.

Дата публикации в реестре: 2025-05-27T14:22:46Z

Аннотация:

В данной работе представлена разработка специализированной системы для оценки производительности алгоритмов компьютерной алгебры при нахождении базисов Грёбнера. Для проверки функциональности и оценки производительности усовершенствованной версии GInv 2.0 разработан специальный инструмент автоматизированного тестирования. Данный инструмент позволяет загружать тестовые наборы данных в формате JSON, вычислять базисы Грёбнера с использованием различных алгоритмов и визуализировать результаты тестирования. Подробно описываются модули импорта данных, вычисления базисов и вывода результатов тестирования. Проведено тестирование GInv 2.0 на наборе из систем уравнений различной сложности. Представлены результаты тестирования, включая временные характеристики вычислений для каждого теста.

Ключевые слова:
Gröbner bases, сomputer algebra, testing system, GInv, базисы Грёбнера, компьютерная алгебра, система тестирования, GInv

Тип: Article

Источник: Компьютерные инструменты в образовании