Uncomputably large integral points on algebraic plane curves?

DOI10.1016/S0304-3975(99)00188-7zbMath0940.03014arXivmath/9809009OpenAlexW2168372243MaRDI QIDQ1978704

J. Maurice Rojas

Publication date: 4 June 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

polynomialsdecidabilityHilbert's Tenth Problemheight boundsdiophantine prefixgeometry of complex surfaces and 3-foldsuncomputably large integral points on algebraic curves

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Rational and ruled surfaces (14J26) Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) [https://zbmath.org/classification/?q=cc:11G30 Curves of arbitrary genus or genus ( e 1) over global fields (11G30)] Diophantine equations in many variables (11D72) Arithmetic problems in algebraic geometry; Diophantine geometry (14G99) Curves in algebraic geometry (14H99)

Related Items

On the distribution of integer points on curves of genus zero, Computational arithmetic geometry. I: Sentences nearly in the polynomial hierarchy

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On \(S\)-integral solutions of the equation \(y^ m=f(x)\)
• Diophantine approximations and value distribution theory
• Mathematical problems for the next century
• Solving degenerate sparse polynomial systems faster
• Algebraic Geometry. I: Complex projective varieties.
• An algorithm for computing an integral basis in an algebraic function field
• On the distribution of integer points on curves of genus zero
• On the complexity of diophantine geometry in low dimensions (extended abstract)
• Computational complexities of diophantine equations with parameters
• Classification of Quantifier Prefixes Over Diophantine Equations
• Universal diophantine equation
• Sur le théorème de Runge
• Integer Points on Curves of Genus 2 and their Jacobians
• Points entiers sur les courbes de genre 0
• COMPLEXITY AND REAL COMPUTATION: A MANIFESTO
• Contributions to the theory of diophantine equations I. On the representation of integers by binary forms