Computer theorem proving in math - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2004

Computer theorem proving in math

Carlos Simpson

Résumé

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).
Fichier principal
Vignette du fichier
br4.pdf (281.66 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-00000842 , version 1 (15-11-2003)
hal-00000842 , version 2 (20-02-2004)

Identifiants

Citer

Carlos Simpson. Computer theorem proving in math. 2004. ⟨hal-00000842v2⟩
169 Consultations
215 Téléchargements

Altmetric

Partager

More