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

DOI10.1007/s00153-002-0163-xzbMath1038.11078arXivmath/0201182OpenAlexW2051629444MaRDI QIDQ1407610

Minhyong Kim

Publication date: 16 September 2003

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0201182

zbMATH Keywords

algorithmrational pointplane curvediophantine equation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Decidability (number-theoretic aspects) (11U05) Rational points (14G05) Decidability of theories and sets of sentences (03B25) Global ground fields in algebraic geometry (14G25)

Related Items (1)

Existence of rational points on smooth projective varieties

This page was built for publication: Relating decision and search algorithms for rational points on curves of higher genus