Доктор Лаура Монк | Формализация математики и спектральной геометрии в бережливом производстве

Название: Формализация математики и спектральной геометрии в Lean Докладчик: д-р Лаура Монк (Бристольский университет) Дата: 21 апреля 2026 г. - 12:00–12:45 🗓️ Мероприятие: (GSTW07) Искусственный интеллект в спектральной геометрии: перспективы и направления: круглый стол 🔗 Подробнее: https://www.newton.ac.uk/seminar/50090 ------------------- СЛЕДИТЕ ЗА НАМИ 🌐| Веб-сайт: https://www.newton.ac.uk 🎥| Основной канал:    / @isaacnewtoninstitute   🐦| Twitter:   / newtoninstitute   💬| Facebook:   / newton.institute   📷| Instagram:   / isaacnewtoninstitute   🔗| LinkedIn:   / isaac-newton-institute-for-mathematical-sc...   ЗАЛЫ ДЛЯ СЕМИНАРОВ 🥇| Зал для семинаров INI 1:    / @iniseminarroom1   🥈| Зал для семинаров INI 2:    / @iniseminarroom2   🛰️| Дополнительные мероприятия INI:    / @inisatellite   О НАС Институт Исаака Ньютона — это национальный и международный научно-исследовательский институт, принимающий приглашенных исследователей. Он реализует исследовательские программы по избранным темам в области математики и математических наук с приложениями в широком спектре науки и техники. Он привлекает ведущих ученых-математиков из Великобритании и других стран для взаимодействия в исследованиях в течение длительного периода времени. 👉 Узнайте больше о нас и наших мероприятиях здесь: https://www.newton.ac.uk