MACHINE-ASSISTED PROOFS
Name
1809.08062.pdf
Description
Accepted version
Size
706.62 KB
Format
Adobe PDF
Checksum (MD5)
52d1fea71ad2e8a707b2eaac5e566096
Author(s)
DAVENPORT, JAMES
POONEN, BJORN
MAYNARD, JAMES
HELFGOTT, HARALD
TIEP, PHAM HUU
CRUZ-FILIPE, LUÍS
Date Issued
2018
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
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.
MIT Department
Massachusetts Institute of Technology. Department of Mathematics
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1142/9789813272880_0038
