TY  - RPRT
TI  - Formalized proof, computation, and the construction problem in algebraic geometry
AU  - Carlos T. Simpson
PY  - 2004
UR  - https://arxiv.org/abs/math/0410224
ID  - math/0410224
ER  -