Integer solutions of systems of quadratic equations

DOI10.1017/S0305004100056218zbMath0418.10019OpenAlexW2061885264MaRDI QIDQ3208736

John L. Britton

Publication date: 1979

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0305004100056218

zbMATH Keywords

decision algorithmsystems of quadratic Diophantine equations

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Quadratic and bilinear Diophantine equations (11D09) Decidability of theories and sets of sentences (03B25)

Related Items

Extensions of Hilbert's tenth problem, A survey on Büchi's problem: new presentations and open problems, An approximate algorithm for nonlinear integer programming

Cites Work

• The minimum of an inhomogeneous quadratic polynomial in \(n\) variables
• The decision problem for exponential diophantine equations