The Role of Computer Assistance in Mathematical Proofs
An examination of how computational methods augment and transform complex mathematical proofs, from the four-color theorem to the classification of finite simple groups.
Kevin Buzzard
Professor of Pure Mathematics
Standalone talks by Kevin Buzzard
1Self-contained public lectures, keynote addresses, and research seminars.