MACHINE-ASSISTED PROOFS
© 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.
Main Authors: | DAVENPORT, JAMES (Author), POONEN, BJORN (Author), MAYNARD, JAMES (Author), HELFGOTT, HARALD (Author), TIEP, PHAM HUU (Author), CRUZ-FILIPE, LUÍS (Author) |
---|---|
Format: | Article |
Language: | English |
Published: |
World Scientific Pub Co Pte Lt,
2021-11-02T18:09:31Z.
|
Subjects: | |
Online Access: | Get fulltext |
Similar Items
-
Anonymity, information, and machine-assisted proof
by: Coble, Aaron Richard
Published: (2010) -
Real groups and Sylow 2-subgroups
by: Tiep, Pham Huu, et al.
Published: (2016) -
Irreducible representations of odd degree
by: Navarro, Gabriel, et al.
Published: (2015) -
Maxima and minima before calculus
by: Helfgott, Harald, et al.
Published: (2014) -
Students' Proof Assistant (SPA)
by: Anders Schlichtkrull, et al.
Published: (2019-04-01)