@misc{indiciae0118c30bfe51,
  title = {Formalized proof, computation, and the construction problem in algebraic geometry},
  author = {Carlos T. Simpson},
  year = {2004},
  url = {https://arxiv.org/abs/math/0410224},
  note = {Source identifier: math/0410224}
}