Computer theorem proving in math

Carlos Simpson (1)

1 JAD - Laboratoire Jean Alexandre Dieudonné

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).

Domaines: Histoire et perspectives sur les mathématiques [math.HO]; Géométrie algébrique [math.AG]; Catégories et ensembles [math.CT]; Géométrie différentielle [math.DG]; Logique [math.LO]

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