Заседания семинаров
Идентификатор конференции: 314 114 3903
Код доступа: 009
Емельяненков И. А.
Комплексы предикатных структур и их свойства.
к.ф.-м.н. Дмитрий Кондратьев, ИСИ
Автоматизация доказательства условий корректности программ и перспективы применения машинного обучения в данной области.
Zoom
Д. А. Троценко (Новосибирск)
Теория верхних множеств.
Аннотация
Доклад приурочен к юбилею автора и посвящен обзору наиболее интересных его результатов. В докладе будет рассказано, что автор называет теорией верхних множеств.Новиков Артем Олегович
Двухуровневые стохастические модели инвестиционных проектов (кандидатская диссертация).
1.2.2 — Математическое моделирование, численные методы и комплексы программ.
Семинар посвящен памяти Юрия Григорьевича Решетняка.
Conference ID: 863 7044 9697
password: 277023
В. О. Мантуров (МФТИ, Москва)
Метод фотографии.
Аннотация
Мы предлагаем общий метод, который позволяет находить решения уравнений (пентагон, Янг-Бакстер,тетраэдр и др.) и находить инварианты многообразий из геометрических "соображений здравого смысла". К таковым относятся, например, утверждение о том, что если попарно различные точки $A,B,C,D$ лежат на одной окружности и точки $A,B,C,E$ лежат на одной окружности, то все пять точек лежат на одной окружности. Будет рассказано несколько простых примеров (преобразование Птолемея удовлетворяет тождеству пентагона), а также сказано в общих чертах, как можно интерпретировать многие известные инварианты многообразий (Виро-Тураева, Дейкграфа-Виттена и др.) с точки зрения метода фотографии. Один из предыдущих докладов о методе фотографии можно посмотреть на: https://disk.yandex.ru/d/CY23bJqKl0R1BA
Результаты приведены в следующих статьях:
[MN] https://arxiv.org/abs/2305.06316
[MW1] https://arxiv.org/abs/2305.11945
[M] https://arxiv.org/abs/2306.07079
[KKMN] https://arxiv.org/abs/2307.03437
[MW2] https://arxiv.org/abs/2309.01735
М. Н. Гаськова
Об $n$-разрешимости булевых алгебр с одним выделенным идеалом.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
