Formalized Proof, Computation, and the Construction Problem in Algebraic Geometry

@inproceedings{Werner2005FormalizedPC,
title={Formalized Proof, Computation, and the Construction Problem in Algebraic Geometry},
author={Benjamin Werner and M. S. Narasimhan and A. Magid},
year={2005}
}

It has become a classical technique to turn to theoretical computer science to provide computational tools for algebraic geometry. A more recent transformation is that now we also get logical tools, and these too should be useful in the study of algebraic varieties. The purpose of this note is to consider a very small part of this picture, and try to motivate the study of computer theorem-proving techniques by looking at how they might be relevant to a particular class of problems in algebraic… CONTINUE READING