Stony Brook Mathematics Colloquium Video
Proving theorems with computers
Kevin Buzzard, Imperial College
March 18, 2021
Download video
(MP4, 338.3MB)
Play
Pause