Integer solutions of systems of quadratic equations

DOI10.1017/S0305004100056218MaRDI QIDQ3208736zbMATH OpenOpenAlexFDO

Authors 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 of theories and sets of sentences (03B25) Quadratic and bilinear Diophantine equations (11D09) Decidability (number-theoretic aspects) (11U05)

Cites work

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

Cited in

(4)

• A survey on Büchi's problem: new presentations and open problems
• Extensions of Hilbert's tenth problem
• An approximate algorithm for nonlinear integer programming
• Linear loop synthesis for quadratic invariants

This page was built for publication: Integer solutions of systems of quadratic equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3208736)