МЦМУ МИАН
Федеральное государственное бюджетное учреждение науки Математический институт им. В.А.Стеклова Российской академии наук
Семинар 106. В.А. Плеханов. Гипотеза Эндрюса - Кертиса: введение, часть 1
Семинар 107. Н.А. Нестеров. Субэкспоненциальность функции роста группы Григорчука
Семинар 104. И. Г. Лысёнок. (Часть 1) Компьютерные вычисления для гипотезы Эндрюса-Кёртиса. ...
Семинар 103. И. Г. Лысёнок. Гипотеза Эндрюса - Кертиса: введение, часть 2
Семинар 105. Л.Д. Дрегля Сидоров. Гипотеза Эндрюса - Кертиса: введение, часть 1
Семинар 102. И. Г. Лысёнок. Гипотеза Эндрюса - Кертиса: введение, часть 1
Семинар 108. И.Г. Лысёнок, А.Л. Таламбуца. Геометрическая теория групп
Семинар 109. И.Г. Лысёнок, А.Л. Таламбуца. Геометрическая теория групп
Б.С. Кашин, И.В. Оселедец. Квантизация больших языковых моделей с переопределенным базисом
И.В. Белошапка. Искусственный интеллект для решения математических задач
Лекция 7. С.Л. Кузнецов, Т.Г. Пшеницын. L-модели и R-модели для исчисления Ламбека
Лекция 6. С.Л. Кузнецов, Т.Г. Пшеницын. Интерполяционная лемма Роорды. Теорема Пентуса
Лекция 4. С.Л. Кузнецов, Т.Г. Пшеницын. Грамматики Ламбека и контекстно-свободные грамматики
Лекция 11. С.Л. Кузнецов, Т.Г. Пшеницын. Субструктурные логики
Лекция 10. С.Л. Кузнецов, Т.Г. Пшеницын. Субструктурные логики
Лекция 12. С.Л. Кузнецов, Т.Г. Пшеницын. Субструктурные логики
Лекция 8. С.Л. Кузнецов, Т.Г. Пшеницын. Линейная логика
Лекция 9. С.Л. Кузнецов, Т.Г. Пшеницын. Неразрешимость линейной логики
Лекция 3. С.Л. Кузнецов, Т.Г. Пшеницын. PSPACE-трудность логик между FL и Int. Теорема об ...
Лекция 2. С.Л. Кузнецов, Т.Г. Пшеницын. Класс сложности PSPACE: теорема Сэвича и PSPACE-полнота ...
Лекция 1. С.Л. Кузнецов, Т.Г. Пшеницын. Решётки с делениями и субструктурные исчисления
Лекция 5. С.Л. Кузнецов, Т.Г. Пшеницын. Построение грамматики Ламбека по контекстно-свободной ...
Семинар 23. А.В. Зайцев. Эквивариантные компактификации
Семинар 20. Л.С. Городецкий. Рационально связные многообразия
Семинар 18. Р.Р. Досаев, Б.В. Жданов. Проекция из коники и точки
Семинар 16. Н.А. Вирин. Бирациональные перестройки между многообразиями Фано
Семинар 22. А.В. Викулова. Многообразия Мукая
Семинар 19. К.В. Квитко. Препятствия к рациональности
Семинар 21. М.А. Овчаренко. Ограниченность гладких многообразий Фано
Семинар 17. Н.А. Вирин. Проекция из прямой