Formalized proof, computation, and the construction problem in algebraic geometry - Laboratoire Jean-Alexandre Dieudonné Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2004

Formalized proof, computation, and the construction problem in algebraic geometry

Carlos Simpson

Résumé

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

Dates et versions

hal-00003021 , version 1 (08-10-2004)

Identifiants

Citer

Carlos Simpson. Formalized proof, computation, and the construction problem in algebraic geometry. 2004. ⟨hal-00003021⟩
103 Consultations
89 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More