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

Simple item page
dc.creatorSimpson, Carlos T.
dc.date2004-10-08
dc.date.accessioned2026-07-07T05:13:05Z
dc.date.available2026-07-07T05:13:05Z
dc.descriptionAn 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.
dc.identifierhttps://arxiv.org/abs/math/0410224
dc.identifierhttp://arxiv.org/abs/math/0410224
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/72816
dc.subjectAlgebraic Geometry
dc.titleFormalized proof, computation, and the construction problem in algebraic geometry
dc.typetext

Files

Collections

arXiv