MACHINE-ASSISTED PROOFS

DOI10.1142/9789813272880_0038zbMath1452.68262OpenAlexW2900834372MaRDI QIDQ5122009

Bjorn Poonen, James Maynard, Luís Cruz-Filipe, Pham Hũ'u Tiêp, Harald Andrés Helfgott, James H. Davenport

Publication date: 22 September 2020

Published in: Proceedings of the International Congress of Mathematicians (ICM 2018) (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/1721.1/137150

zbMATH Keywords

machine proof

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

Digital collections of examples in mathematical sciences ⋮ From the string landscape to the mathematical landscape: a machine-learning outlook

This page was built for publication: MACHINE-ASSISTED PROOFS