MACHINE-ASSISTED PROOFS

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.

Bibliographic Details
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:
Article
Online Access:Get fulltext
LEADER 00899 am a22002173u 4500
001 137150
042 |a dc 
100 1 0 |a DAVENPORT, JAMES  |e author 
700 1 0 |a POONEN, BJORN  |e author 
700 1 0 |a MAYNARD, JAMES  |e author 
700 1 0 |a HELFGOTT, HARALD  |e author 
700 1 0 |a TIEP, PHAM HUU  |e author 
700 1 0 |a CRUZ-FILIPE, LUÍS  |e author 
245 0 0 |a MACHINE-ASSISTED PROOFS 
260 |b World Scientific Pub Co Pte Lt,   |c 2021-11-02T18:09:31Z. 
856 |z Get fulltext  |u https://hdl.handle.net/1721.1/137150 
520 |a © 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. 
546 |a en 
655 7 |a Article 
773 |t 10.1142/9789813272880_0038 
773 |t Proceedings of the International Congress of Mathematicians, ICM 2018 

Similar Items