Computer theorem proving in math
历史与综述
2009-11-10 v2 代数几何
范畴论
微分几何
逻辑
摘要
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).
引用
@article{arxiv.math/0311260,
title = {Computer theorem proving in math},
author = {Carlos T. Simpson},
journal= {arXiv preprint arXiv:math/0311260},
year = {2009}
}