高亏格曲线上有理点的判定算法与搜索算法之关系
逻辑
2007-05-23 v1 代数几何
数论
摘要
对于定义在有理数域上、亏格至少为二的仿射平面曲线，我们证明存在解的判定算法也可给出所有解的搜索算法。
引用
@article{arxiv.math/0201182,
title = {Relating decision and search algorithms for rational points on curves of higher genus},
author = {Minhyong Kim},
journal= {arXiv preprint arXiv:math/0201182},
year = {2007}
}
备注
to be published in Archive for Mathematical Logic