Relating decision and search algorithms for rational points on curves of higher genus

Minhyong Kim

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