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

1 Scopus citations


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
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


Conference2018 International Congress of Mathematicians, ICM 2018
CityRio de Janeiro


  • Machine proof

ASJC Scopus subject areas

  • Mathematics(all)

Cite this