Computer theorem proving in math
Simpson, Carlos
HAL, hal-00000842 / Harvested from HAL
Text on HAL
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).
Publié le : 2004-02-20
Classification:  [MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO],  [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG],  [MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT],  [MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG],  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] 
@article{hal-00000842,
     author = {Simpson, Carlos},
     title = {Computer theorem proving in math},
     journal = {HAL},
     volume = {2004},
     number = {0},
     year = {2004},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00000842}
}

Simpson, Carlos. Computer theorem proving in math. HAL, Tome 2004 (2004) no. 0, . http://gdmltest.u-ga.fr/item/hal-00000842/