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

Simple item page
dc.creatorKim, Minhyong
dc.date2002-01-20
dc.date.accessioned2026-07-07T04:45:58Z
dc.date.available2026-07-07T04:45:58Z
dc.descriptionFor 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.
dc.descriptionto be published in Archive for Mathematical Logic
dc.identifierhttps://arxiv.org/abs/math/0201182
dc.identifierhttp://arxiv.org/abs/math/0201182
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/63156
dc.subjectLogic
dc.subjectAlgebraic Geometry
dc.subjectNumber Theory
dc.subject03D99; 11D41
dc.titleRelating decision and search algorithms for rational points on curves of higher genus
dc.typetext

Files

Collections

arXiv