TY  - RPRT
TI  - Machine-Assisted Proofs (ICM 2018 Panel)
AU  - James Davenport
AU  - Bjorn Poonen
AU  - James Maynard
AU  - Harald Helfgott
AU  - Pham Huu Tiep
AU  - Luís Cruz-Filipe
PY  - 2018
UR  - https://arxiv.org/abs/1809.08062
ID  - 1809.08062
ER  -