Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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

https://hal.archives-ouvertes.fr/hal-00000842
Contributor : Carlos Simpson <>
Submitted on : Saturday, November 15, 2003 - 11:41:04 PM
Last modification on : Thursday, March 5, 2020 - 12:20:06 PM
Document(s) archivé(s) le : Monday, March 29, 2010 - 5:08:17 PM

Files

Identifiers

Citation

Carlos Simpson. Computer theorem proving in math. 2003. ⟨hal-00000842v1⟩

Share

Metrics

Record views

2

Files downloads

20