Заседания семинаров
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$, что является фундаментальным результатом в низкоразмерной топологии.А. А. Егоров
О плотности множества нормированных объемов прямоугольных гиперболических многогранников.

