Stony Brook Mathematics Colloquium Video
Proving theorems with computers
Kevin Buzzard, Imperial College
March 18, 2021

Download video (MP4, 338.3MB)