Computer theorem proving in math
History and Overview
2009-11-10 v2 Algebraic Geometry
Category Theory
Differential Geometry
Logic
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).
Cite
@article{arxiv.math/0311260,
title = {Computer theorem proving in math},
author = {Carlos T. Simpson},
journal= {arXiv preprint arXiv:math/0311260},
year = {2009}
}