On Diophantine singlefold specifications
From MaRDI portal
Cites work
- 48 More Solutions of Martin Davis's Quaternary Quartic Equation
- ``One equation to rule them all, revisited
- Applications of a Simple Counting Technique
- Diophantine analysis and modular forms
- Existence of noneffectivizable estimates in the theory of exponential Diophantine equations
- Existential arithmetization of Diophantine equations
- Existential Definability in Arithmetic
- Extensions and corollaries of recent work on Hilbert's tenth problem
- Hilbert's Tenth Problem is Unsolvable
- Hilbert's tenth problem. An introduction to logic, number theory, and computability
- scientific article; zbMATH DE number 3131080 (Why is no real title available?)
- scientific article; zbMATH DE number 5292707 (Why is no real title available?)
- scientific article; zbMATH DE number 3470494 (Why is no real title available?)
- scientific article; zbMATH DE number 3494398 (Why is no real title available?)
- scientific article; zbMATH DE number 3539209 (Why is no real title available?)
- scientific article; zbMATH DE number 3561327 (Why is no real title available?)
- scientific article; zbMATH DE number 2003401 (Why is no real title available?)
- scientific article; zbMATH DE number 939418 (Why is no real title available?)
- scientific article; zbMATH DE number 3336816 (Why is no real title available?)
- scientific article; zbMATH DE number 3424007 (Why is no real title available?)
- Martin Davis and Hilbert's tenth problem
- Martin Davis on computability, computational logic, and mathematical foundations
- On the `gap' in a theorem of Heegner
- On the Number of Solutions of Diophantine Equations
- The decision problem for exponential diophantine equations
- The quest for Diophantine finite-fold-ness
- Towards finite-fold Diophantine representations
This page was built for publication: On Diophantine singlefold specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7033386)