Formalized proof, computation, and the construction problem in algebraic geometryReportar como inadecuado




Formalized proof, computation, and the construction problem in algebraic geometry - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 JAD - Laboratoire Jean Alexandre Dieudonné

Abstract : 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.





Autor: Carlos Simpson -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados