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).
Complete list of metadatas

Cited literature [55 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00000842
Contributor : Carlos Simpson <>
Submitted on : Friday, February 20, 2004 - 4:35:26 PM
Last modification on : Friday, January 12, 2018 - 1:56:26 AM
Long-term archiving on: Friday, September 17, 2010 - 5:52:06 PM

Files

Identifiers

Collections

Citation

Carlos Simpson. Computer theorem proving in math. 2004. ⟨hal-00000842v2⟩

Share

Metrics

Record views

340

Files downloads

144