Machine-assisted proofs

James Davenport; Bjorn Poonen; James Maynard; Harald Helfgott; Pham Huu Tiep; Luis Cruz-Filipe

Machine-assisted proofs

James Davenport, Bjorn Poonen, James Maynard, Harald Helfgott, Pham Huu Tiep, Luis Cruz-Filipe

School of Arts and Sciences, Mathematics

Rutgers, The State University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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.

Original language	American English
Title of host publication	Invited Lectures
Editors	Boyan Sirakov, Paulo Ney de Souza, Marcelo Viana
Publisher	World Scientific Publishing Co. Pte Ltd
Pages	1085-1110
Number of pages	26
ISBN (Electronic)	9789813272903
State	Published - 2018
Event	2018 International Congress of Mathematicians, ICM 2018 - Rio de Janeiro, Brazil Duration: Aug 1 2018 → Aug 9 2018

Publication series

Name	Proceedings of the International Congress of Mathematicians, ICM 2018
Volume	1

Conference

Conference	2018 International Congress of Mathematicians, ICM 2018
Country/Territory	Brazil
City	Rio de Janeiro
Period	8/1/18 → 8/9/18

ASJC Scopus subject areas

General Mathematics

Keywords

Machine proof

Cite this

@inproceedings{60a74bb206f948ff9bd1dd54897bcdd5,

title = "Machine-assisted proofs",

abstract = "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.",

keywords = "Machine proof",

author = "James Davenport and Bjorn Poonen and James Maynard and Harald Helfgott and Tiep, {Pham Huu} and Luis Cruz-Filipe",

year = "2018",

language = "American English",

series = "Proceedings of the International Congress of Mathematicians, ICM 2018",

publisher = "World Scientific Publishing Co. Pte Ltd",

pages = "1085--1110",

editor = "Boyan Sirakov and {de Souza}, {Paulo Ney} and Marcelo Viana",

booktitle = "Invited Lectures",

address = "Singapore",

}

Davenport, J, Poonen, B, Maynard, J, Helfgott, H, Tiep, PH & Cruz-Filipe, L 2018, Machine-assisted proofs. in B Sirakov, PN de Souza & M Viana (eds), Invited Lectures. Proceedings of the International Congress of Mathematicians, ICM 2018, vol. 1, World Scientific Publishing Co. Pte Ltd, pp. 1085-1110, 2018 International Congress of Mathematicians, ICM 2018, Rio de Janeiro, Brazil, 8/1/18.

Machine-assisted proofs. / Davenport, James; Poonen, Bjorn; Maynard, James et al.
Invited Lectures. ed. / Boyan Sirakov; Paulo Ney de Souza; Marcelo Viana. World Scientific Publishing Co. Pte Ltd, 2018. p. 1085-1110 (Proceedings of the International Congress of Mathematicians, ICM 2018; Vol. 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Machine-assisted proofs

AU - Davenport, James

AU - Poonen, Bjorn

AU - Maynard, James

AU - Helfgott, Harald

AU - Tiep, Pham Huu

AU - Cruz-Filipe, Luis

PY - 2018

Y1 - 2018

N2 - 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.

AB - 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.

KW - Machine proof

UR - http://www.scopus.com/inward/record.url?scp=85086406439&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85086406439&partnerID=8YFLogxK

M3 - Conference contribution

T3 - Proceedings of the International Congress of Mathematicians, ICM 2018

SP - 1085

EP - 1110

BT - Invited Lectures

A2 - Sirakov, Boyan

A2 - de Souza, Paulo Ney

A2 - Viana, Marcelo

PB - World Scientific Publishing Co. Pte Ltd

T2 - 2018 International Congress of Mathematicians, ICM 2018

Y2 - 1 August 2018 through 9 August 2018

ER -

Machine-assisted proofs

Abstract

Publication series

Conference

ASJC Scopus subject areas

Keywords

Other files and links

Fingerprint

Cite this