Calendar

Title: Topics in computers and mathematics

Abstract: Advances in computation and machine learning are changing the way we do pure mathematics and theoretical physics. Using examples from differential geometry, finite group theory and other fields, I will survey some directions which I believe will have major impact during the coming decade: machine learning, ML inspired numerical methods, computer assisted proofs and interactive theorem proving.

Registration is required to receive the Zoom information.

Please go here to register.