Prof. Kevin Buzzard | Formalizing Fermat: how it's going
Автор: INI Seminar Room 1
Загружено: 2025-06-25
Просмотров: 2119
Title: Formalizing Fermat: how it's going
Speaker: Professor Kevin Buzzard (Imperial College London)
Date: 9th Jun 2025 - 10:15 to 11:15
🗓️ Event: (BPRW03) Big proof: formalizing mathematics at scale
🔗 Find out more: https://www.newton.ac.uk/seminar/46695
-------------------
FOLLOW US
🌐| Website: https://www.newton.ac.uk
🎥| Main Channel: / @isaacnewtoninstitute
🐦| Twitter: / newtoninstitute
💬| Facebook: / newton.institute
📷| Instagram: / isaacnewtoninstitute
🔗| LinkedIn: / isaac-newton-institute-for-mathematical-sc...
SEMINAR ROOMS
🥇| INI Seminar Room 1: / @iniseminarroom1
🥈| INI Seminar Room 2: / @iniseminarroom2
🛰️| INI Satellite Events: / @inisatellite
ABOUT
The Isaac Newton Institute is a national and international visitor research institute. It runs research programmes on selected themes in mathematics and the mathematical sciences with applications over a wide range of science and technology. It attracts leading mathematical scientists from the UK and overseas to interact in research over an extended period.
👉 Learn more about us and our events here: https://www.newton.ac.uk
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
