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

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