Теория стандартных базисов Гребнера–Ширшова – красивый раздел алгебры, зародившийся в 50-е/60-е годы прошлого века и получивший мощное развитие благодаря системам компьютерной алгебры. Классическое применение стандартных базисов – алгоритм решения систем нелинейных алгебраических уравнений, представляющий собой далеко идущее обобщение классического метода Гаусса исключения переменных в системах линейных алгебраических уравнений.
Целью курса является знакомство слушателей со стандартными базисами и их применением для решения систем нелинейных алгебраических уравнений, для построения алгебр с универсальными свойствами (например, алгебры Грассмана, тензорного произведения алгебр, универсальной обертывающей алгебры), для решения ряда других алгоритмических вопросов.
Курс будет состоять предположительно из 12-14 лекций.
Данные для подключения в Zoom:
идентификатор конференции: 910 1754 8578
код доступа: 12321
Финансовая поддержка. Курс проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2019-1614).
Программа
RSS: Ближайшие семинары
Лектор
Киселев Денис Дмитриевич
Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН) |