- Workshop “Machine assisted proofs” - Feb 13-17 next year, at the Institute for Pure and Applied Mathematics (IPAM - California) with Erika Abraham, Jeremy Avigad, Kevin Buzzard, Jordan Ellenberg, Tim Gowers, Marijn Heule, Terence Tao https://www.ipam.ucla.edu/programs/workshops/machine-assisted-proofs/ 12 comments math
Linking pages
Related searches:
Search whole site: site:www.ipam.ucla.edu
Search title: Machine Assisted Proofs
See how to search.