arXiv Analytics

Sign in

arXiv:math/0410224 [math.AG]AbstractReferencesReviewsResources

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

Carlos T. Simpson

Published 2004-10-08Version 1

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.

Categories: math.AG
Related articles: Most relevant | Search more
arXiv:1809.10971 [math.AG] (Published 2018-09-28)
Computation of Pommaret Bases Using Syzygies
arXiv:1103.5826 [math.AG] (Published 2011-03-30, updated 2011-08-09)
About the computation of the signature of surface singularities z^N+g(x,y)=0
arXiv:math/0309322 [math.AG] (Published 2003-09-19)
Computation of Milnor numbers and critical values at infinity

Links

Toolbox