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

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.Comment: to be published in Archive for Mathematical Logi