Formalized proof, computation, and the construction problem in algebraic geometry
Simpson, Carlos
HAL, hal-00003021 / Harvested from HAL
Text on HAL
An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up to now, which concerns the formalization of category theory within a ZFC-like environment.
Publié le : 2004-10-08
Classification:  [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG] 
@article{hal-00003021,
     author = {Simpson, Carlos},
     title = {Formalized proof, computation, and the construction problem in algebraic geometry},
     journal = {HAL},
     volume = {2004},
     number = {0},
     year = {2004},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00003021}
}

Simpson, Carlos. Formalized proof, computation, and the construction problem in algebraic geometry. HAL, Tome 2004 (2004) no. 0, . http://gdmltest.u-ga.fr/item/hal-00003021/