Заседания семинаров
Данил Кужман
Optimizing VLIW instruction scheduling via a 2D constrained dynamic programming (реферат статьи из ACM Trans. Des. Autom.Electron. Syst., 2024).
Е. В. Константинова
Обзор некоторых результатов из статьи:
“CayleyPy Growth: Efficient growth computations and hundreds of new conjectures on Cayley graphs.” Часть 1.
Zoom
Н. В. Абросимов (ИМ СО РАН)
Обратная теорема Кэзи на плоскости Лобачевского.
Аннотация
В докладе будет представлено доказательство обратной теоремы Кэзи на плоскости Лобачевского.Я. А. Гостюхин
Гомотопическое оснащение для категорий.
М. А. Гречкосеева, В. М. Родионов (НГУ)
Проблема распознаваемости по спектру для простых классических групп размерностей 8, 10 и 12.
Цзинхао Сян
Элементарная эквивалентность счётных безатомных булевых алгебр с выделенным идеалом.
М. М. Аликбаров
Обобщение Clock-теоремы на нотоиды и 1-линкоиды.
Н. А. Вайцель (ИМ СО РАН)
Формула обращения Кормака в двумерной доплеровской томографии.

