Computer theorem proving in math
Carlos T. Simpson
math.HOarXiv:math/0311260
Abstract
We give an overview of issues surrounding computer-verified theorem proving in the standard pure-mathematical context. This is based on my talk at the PQR conference (Brussels, June 2003).
Create a lesson
Related papers
Chebyshev and garment cutting. Debunking some myths
Victor Tapia
The suppression thesis in Riemann's Habilitationsvortrag
Victor Tapia
Remembering Solomon Marcus
Florin Nichita
The Erdős--Sós Theorem
David R. Wood
Math for AI safety: an invitation for mathematicians
Lionel Levine
Immensely Questionable Tests
Siyona Agarwal, Julian Bernhoft, Karam Gill et al.