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