Machine-Assisted Proofs (ICM 2018 Panel)

Authors James H. Davenport, Bjorn Poonen, James Maynard, Harald A. Helfgott, Pham Huu Tiep, Luís Cruz-Filipe

Publication date 21 September 2018

Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Software, source code, etc. for problems pertaining to number theory (11-04) Software, source code, etc. for problems pertaining to group theory (20-04)

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.

This page was built for publication: Machine-Assisted Proofs (ICM 2018 Panel)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6307059)