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

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

2004-10-08

arxiv.org/abs/math/0410224v1

Mathematics

Algebraic Geometry

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Formalized proof, computation, and the construction problem in algebraic geometry does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Formalized proof, computation, and the construction problem in algebraic geometry, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Formalized proof, computation, and the construction problem in algebraic geometry will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-316638