Machine-Assisted Proofs – ICM2018

IMU Discussion Panels
Panel 2 - Machine-Assisted Proofs

Moderator: James Davenport

Panelists: Luís Cruz-Filipe, Harald Helfgott, James Maynard, Bjorn Poonen, Pham Huu Tiep

© ICM 2018 – International Congress of Mathematicians
www.icm2018.org  
 
Os direitos sobre todo o material deste canal pertencem ao Instituto de Matemática Pura e Aplicada, sendo vedada a utilização total ou parcial do conteúdo sem autorização prévia e por escrito do referido titular, salvo nas hipóteses previstas na legislação vigente.

The rights over all the material in this channel belong to the Instituto de Matemática Pura e Aplicada, and it is forbidden to use all or part of it without prior written authorization from the above mentioned holder, except in the cases prescribed in the current legislation.