``One equation to rule them all, revisited
From MaRDI portal
Publication:5087790
DOI10.13137/2464-8728/33314MaRDI QIDQ5087790FDOQ5087790
Authors: Domenico Cantone, Eugenio Omodeo
Publication date: 1 July 2022
Recommendations
Pell's equationHilbert's 10th problemexponential-growth relationsingle/finite-fold Diophantine representation
Cubic and quartic Diophantine equations (11D25) Recursively (computably) enumerable sets and degrees (03D25)
Cites Work
- The decision problem for exponential diophantine equations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Reduction of an arbitrary diophantine equation to one in 13 unknowns
- Title not available (Why is that?)
- Elementary Number Theory
- Towards finite-fold Diophantine representations
- 48 More Solutions of Martin Davis's Quaternary Quartic Equation
- Existential Definability in Arithmetic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Martin Davis on computability, computational logic, and mathematical foundations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Martin Davis and Hilbert's tenth problem
- Title not available (Why is that?)
Cited In (1)
This page was built for publication: ``One equation to rule them all, revisited
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5087790)