Repository landing page
research
Computer theorem proving in math
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)- info:eu-repo/semantics/preprint
- Preprints, Working Papers, ...
- [MATH.MATH-HO] Mathematics [math]/History and Overview [math.HO]
- [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG]
- [MATH.MATH-CT] Mathematics [math]/Category Theory [math.CT]
- [MATH.MATH-DG] Mathematics [math]/Differential Geometry [math.DG]
- [MATH.MATH-LO] Mathematics [math]/Logic [math.LO]