Заседания семинаров
А. Кононов
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.
Заседание, посвящённое памяти М. И. Каргаполова.
Гондюл Е. А. (Институт нефтегазовой геологии и геофизики им. А. А. Трофимука СО РАН)
Алгоритм моделирования сейсмических волновых полей с использованием сеточного метода и нейронной сети (по материалам кандидатской диссертации).
Е. И. Хлестова
Сложность предельных моделей эренфойхтовых теорий.
А. А. Егоров
О плотности множества нормированных объемов прямоугольных гиперболических многогранников.

