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

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/63156For 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 LogicLogicAlgebraic GeometryNumber Theory03D99; 11D41Relating decision and search algorithms for rational points on curves of higher genustext