Теория стандартных базисов Гребнера–Ширшова – красивый раздел алгебры, зародившийся в 50-е/60-е годы прошлого века и получивший мощное развитие благодаря системам компьютерной алгебры. Классическое применение стандартных базисов – алгоритм решения систем нелинейных алгебраических уравнений, представляющий собой далеко идущее обобщение классического метода Гаусса исключения переменных в системах линейных алгебраических уравнений.

Целью курса является знакомство слушателей со стандартными базисами и их применением для решения систем нелинейных алгебраических уравнений, для построения алгебр с универсальными свойствами (например, алгебры Грассмана, тензорного произведения алгебр, универсальной обертывающей алгебры), для решения ряда других алгоритмических вопросов.

Курс будет состоять предположительно из 12-14 лекций.

Данные для подключения в Zoom:
идентификатор конференции: 910 1754 8578
код доступа: 12321

Финансовая поддержка. Курс проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2019-1614).

Программа

Лектор
Киселев Денис Дмитриевич

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)