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

Carlos T. Simpson

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 t…