Media Summary: If you find our videos helpful you can support us by buying something from amazon. In this Presidential Lecture, Terence Tao will survey historical and recent developments in the use of machines in mathematics. Maciej Capinski (AGH University of Science and Technology, Poland)
Computer Assisted Proofs 1 3 - Detailed Analysis & Overview
If you find our videos helpful you can support us by buying something from amazon. In this Presidential Lecture, Terence Tao will survey historical and recent developments in the use of machines in mathematics. Maciej Capinski (AGH University of Science and Technology, Poland) In this talk for an undergraduate math club, I use Agda to demonstrate "proofgramming" with an example of unital left shelves. In this video I present the very first basic idea of how to use Jean-Philippe Lessard, McGill University December
Johnathan Hanke of Princeton University presents "
