Научный семинар «Установка и работа в пакете GInv для вычисления базисов Грёбнера»
17 ноября c 15:00 до 16:20 по московскому времени
Создание техники абсолютивных базисов как альтернативы классических базисов Гребнера и ее применение к исследованию идеалов в полиномиальных и дифференциальных кольцах безусловно является одним из важнейших вкладов, сделанных В.П. Гердтом и его учениками в компьютерную алгебру.
Понятие об инволютивном делении пришло в алгебры из исследований совместности систем дифференциальных уравнений в частных производных, восходящих к работам Riquier (1910), Janet (1920), Thomas (1937). Начиная с середины 1990-х годов В.П. Гердт и его ученики А. Ю. Жарков и Ю.А. Блинков опубликовали серию работ, в которых развили это понятие в абстрактно алгебраическом виде и указали на широкие возможности применения инволютивных базисов как альтернативы обычных базисов Гребнера.
Настоящий доклад второй в цикле докладов, посвященных работе в пакете GInv. В докладе будут рассмотрены следующий вопросы: сборка и установка в операционных системах Linux, описание объектно-ориентированной библиотеки написанной на C++11, практические примеры вычислений с помощью модуля языка Python 3.
Докладчик
Блинков Юрий Анатольевич, д.ф.-м.н., директор научного центра вычислительных методов в прикладной математике института прикладной математики и телекоммуникаций РУДН.