Заседания семинаров
А. Кононов
Combined Scheduling, Memory Allocation and Tensor Replacement for Minimizing Off-Chip Data Accesses of DNN Accelerators
Реферат статьи Y. Li, A. Gupta, S. Malik (2023).
Zoom
В. А. Александров (ИМ СО РАН)
Изгибаемый многогранник Штеффена является вложенным. Доказательство.
Аннотация
В докладе будет представлено доказательство отсутствия самопересечений у изгибаемого многогранника Штеффена. Существенную роль в доказательстве играют символьные компьютерные вычисления в Wolfram Mathematica.
Доклад основан на статье:
V. Alexandrov and E. Volokitin: Steffen's flexible polyhedron is embedded. A proof via symbolic computation // Journal for Geometry and Graphics. V. 29, N 1. P. 79-88. 2025.
И. В. Латкин (Усть-Каменогорск, Казахстан)
Определимость вычислений на машинах Тьюринга булевыми формулами.
Л. А. Грюнвальд
Обзор некоторых результатов из статьи:
“CayleyPy Growth: Efficient growth computations and hundreds of new conjectures on Cayley graphs.” Часть 2.
Заседание, посвящённое памяти М. И. Каргаполова.
Гондюл Е. А. (Институт нефтегазовой геологии и геофизики им. А. А. Трофимука СО РАН)
Алгоритм моделирования сейсмических волновых полей с использованием сеточного метода и нейронной сети (по материалам кандидатской диссертации).
Е. И. Хлестова
Сложность предельных моделей эренфойхтовых теорий.
Т. Ширинкин (НИУ ВШЭ, Москва)
Континуум недиффеоморфных вложенных гладких структур на $\mathbb{R}^4$.
Аннотация
Доклад представляет собой разбор работ Таубса и Гомпфа, посвящённых построению континуума экзотических структур на $\mathbb{R}^4$. В центре внимания находятся конструкции многообразий периодического конца и пространств модулей асимптотически периодических автодуальных связностей на них. Детально разбирается ключевое доказательство, как предположение о диффеоморфизме приводит к противоречию с одномерностью и компактностью модуля пространств автодуальных связностей. В итоге делается вывод о существовании континуума вложенных попарно недиффеоморфных экзотических $\mathbb{R}^4$, что является фундаментальным результатом в низкоразмерной топологии.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
