Relating decision and search algorithms for rational points on curves of higher genus
Logic
2007-05-23 v1 Algebraic Geometry
Number Theory
Abstract
For affine plane curves defined over the rationals of genus at least two, we show that a decision algorithm for the existence of solutions also yields a search algorithm for all solutions.
Cite
@article{arxiv.math/0201182,
title = {Relating decision and search algorithms for rational points on curves of higher genus},
author = {Minhyong Kim},
journal= {arXiv preprint arXiv:math/0201182},
year = {2007}
}
Comments
to be published in Archive for Mathematical Logic