Machine-Assisted Proofs

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

375 Downloads (Pure)

Original language	English
Title of host publication	International Congress of Mathematicians - ICM 2018
Publisher	World Scientific
Publication status	Published - 2018
Event	International Congress of Mathematicians - ICM 2018 - Rio de Janeiro, Brazil Duration: 1 Aug 2018 → 9 Aug 2018

Conference	International Congress of Mathematicians - ICM 2018
Country/Territory	Brazil
City	Rio de Janeiro
Period	1/08/18 → 9/08/18

Access to Document

@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",

note = "International Congress of Mathematicians - ICM 2018 ; Conference date: 01-08-2018 Through 09-08-2018",

}

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 - Chapter in a published conference proceeding

BT - International Congress of Mathematicians - ICM 2018

PB - World Scientific

T2 - International Congress of Mathematicians - ICM 2018

Y2 - 1 August 2018 through 9 August 2018

ER -