Computer theorem proving in math
arXiv:math/0311260 · doi:10.1007/s11005-004-0607-9
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).