Relating decision and search algorithms for rational points on curves of higher genus
Minhyong Kim
所有作者
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 solutions.