Terence Tao
UCLA
Scientific, Colloquia
PIMS Network Wide Colloquium: Terence Tao
For centuries, mathematicians have relied on computers to perform calculations, to suggest conjectures, and as components of mathematical proofs. In the light of more modern tools such as interactive theorem provers, machine learning algorithms, and...