Sep 25, 2024
#60 Exploring 'Mathlib' and the digitisation of mathematics: an interview with Professor Kevin Buzzard
Living Proof: the Isaac Newton Institute podcastInformation
- Published
- September 25, 2024
- Type
- audio
- Language
- EN
- Author
- Isaac Newton Institute for Mathematical Sciences
- Categories
- sciencemathematics