Relating decision and search algorithms for rational points on curves of higher genus
Abstract
Description
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.
to be published in Archive for Mathematical Logic
to be published in Archive for Mathematical Logic