Machine-assisted proofs

DOI10.1142/9789813272880_0038MaRDI QIDQ5122009zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Theory Is Forever
• Panel discussion
• Computer-assisted discovery and proof
• Automated theorem provers: a practical tool for the working mathematician?
• AfterMath: The Work of Proof in the Age of Human–Machine Collaboration

Cited in

(7)

• Counter machines and verification problems.
• “Eureka — You Shrink!”
• Presenting machine-found proofs
• scientific article; zbMATH DE number 2090193 (Why is no real title available?)
• Panel discussion
• 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

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