Relating decision and search algorithms for rational points on curves of higher genus
/ Authors
/ Abstract
Abstract.In the study of rational solutions to polynomial equations in two-variables, we show that an algorithmic solution to the decision problem (existence of solutions) enables one to construct a search algorithm for all solutions.
Journal: Archive for Mathematical Logic