Machine-assisted proofs

James Davenport, Bjorn Poonen, James Maynard, Harald Helfgott, Pham Huu Tiep, Luis Cruz-Filipe

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The panel took place on the 7th August 2018. After the moderator had introduced the topic, the panelists presented their experiences and points of view, and then took questions from the floor.

Original languageEnglish (US)
Title of host publicationInvited Lectures
EditorsBoyan Sirakov, Paulo Ney de Souza, Marcelo Viana
PublisherWorld Scientific Publishing Co. Pte Ltd
Pages1085-1110
Number of pages26
ISBN (Electronic)9789813272903
StatePublished - 2018
Externally publishedYes
Event2018 International Congress of Mathematicians, ICM 2018 - Rio de Janeiro, Brazil
Duration: Aug 1 2018Aug 9 2018

Publication series

NameProceedings of the International Congress of Mathematicians, ICM 2018
Volume1

Conference

Conference2018 International Congress of Mathematicians, ICM 2018
Country/TerritoryBrazil
CityRio de Janeiro
Period8/1/188/9/18

Keywords

  • Machine proof

ASJC Scopus subject areas

  • Mathematics(all)

Cite this