Machine-Assisted Proofs (ICM 2018 Panel)
History and Overview
2018-09-24 v1 Symbolic Computation
Group Theory
Number Theory
Abstract
This submission to arXiv is the report of a panel session at the 2018 International Congress of Mathematicians (Rio de Janeiro, August). It is intended that, while v1 is that report, this stays a living document containing the panelists', and others', reflections on the topic.
Cite
@article{arxiv.1809.08062,
title = {Machine-Assisted Proofs (ICM 2018 Panel)},
author = {James Davenport and Bjorn Poonen and James Maynard and Harald Helfgott and Pham Huu Tiep and Luís Cruz-Filipe},
journal= {arXiv preprint arXiv:1809.08062},
year = {2018}
}