MACHINE-ASSISTED PROOFS

Author(s)
DAVENPORT, JAMES; POONEN, BJORN; MAYNARD, JAMES; HELFGOTT, HARALD; TIEP, PHAM HUU; ... Show more
Thumbnail
DownloadAccepted version (706.6Kb)
Open Access Policy
Terms of use
Creative Commons Attribution-Noncommercial-Share Alike http://creativecommons.org/licenses/by-nc-sa/4.0/
Metadata
Show full item record
Abstract
© ICM 2018.All rights reserved. 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.
Date issued
2018
URI
https://hdl.handle.net/1721.1/137150
Department
Massachusetts Institute of Technology. Department of Mathematics
Journal
Proceedings of the International Congress of Mathematicians, ICM 2018
Publisher
World Scientific Pub Co Pte Lt
Citation
DAVENPORT, JAMES, POONEN, BJORN, MAYNARD, JAMES, HELFGOTT, HARALD, TIEP, PHAM HUU et al. 2018. "MACHINE-ASSISTED PROOFS." Proceedings of the International Congress of Mathematicians, ICM 2018, 1.
Version: Author's final manuscript
Collections