Machine-Assisted Proofs

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

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

29 Downloads (Pure)
Original languageEnglish
Title of host publicationInternational Congress of Mathematicians - ICM 2018
PublisherWorld Scientific
Publication statusPublished - 2018
EventInternational Congress of Mathematicians - ICM 2018 - Rio de Janeiro, Brazil
Duration: 1 Aug 20189 Aug 2018

Conference

ConferenceInternational Congress of Mathematicians - ICM 2018
CountryBrazil
CityRio de Janeiro
Period1/08/189/08/18

Cite this

Cruz-Filipe, L., Davenport, J., Helfgott, H., Maynard, J., Poonen, B., & Huu Tiep, P. (2018). Machine-Assisted Proofs. In International Congress of Mathematicians - ICM 2018 World Scientific.

Machine-Assisted Proofs. / Cruz-Filipe, Luis; Davenport, James; Helfgott, Harald; Maynard, James; Poonen, Bjorn; Huu Tiep, Pham.

International Congress of Mathematicians - ICM 2018. World Scientific, 2018.

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

Cruz-Filipe, L, Davenport, J, Helfgott, H, Maynard, J, Poonen, B & Huu Tiep, P 2018, Machine-Assisted Proofs. in International Congress of Mathematicians - ICM 2018. World Scientific, International Congress of Mathematicians - ICM 2018, Rio de Janeiro, Brazil, 1/08/18.
Cruz-Filipe L, Davenport J, Helfgott H, Maynard J, Poonen B, Huu Tiep P. Machine-Assisted Proofs. In International Congress of Mathematicians - ICM 2018. World Scientific. 2018
Cruz-Filipe, Luis ; Davenport, James ; Helfgott, Harald ; Maynard, James ; Poonen, Bjorn ; Huu Tiep, Pham. / Machine-Assisted Proofs. International Congress of Mathematicians - ICM 2018. World Scientific, 2018.
@inproceedings{bd34861adac34d28996aeaf15b7fa376,
title = "Machine-Assisted Proofs",
author = "Luis Cruz-Filipe and James Davenport and Harald Helfgott and James Maynard and Bjorn Poonen and {Huu Tiep}, Pham",
year = "2018",
language = "English",
booktitle = "International Congress of Mathematicians - ICM 2018",
publisher = "World Scientific",

}

TY - GEN

T1 - Machine-Assisted Proofs

AU - Cruz-Filipe, Luis

AU - Davenport, James

AU - Helfgott, Harald

AU - Maynard, James

AU - Poonen, Bjorn

AU - Huu Tiep, Pham

PY - 2018

Y1 - 2018

M3 - Conference contribution

BT - International Congress of Mathematicians - ICM 2018

PB - World Scientific

ER -