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.