Thursday 28 Nov 2019NT Seminar: Computers and number theory

Prof. Kevin Buzzard - Imperial College

H103 14:30-16:30


Computers have been used in number theory for decades now, to work out examples and check special cases. But can we use them to check proofs, or even to find new proofs? I will talk about my experience using the Lean Theorem Prover.


Add to calendar

Add to calendar (.ics)