scientific article; zbMATH DE number 939418
From MaRDI portal
Publication:4897352
Recommendations
Cited in
(14)- Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets
- Julia Robinson and Hilbert's tenth problem. Produced and directed by George Csicsery. Narrated by Danica McKellar, edited by Tal Skloot, music by Mark Adler
- Martin Davis and Hilbert's tenth problem
- Martin Davis’s Bibliography 1950–2015
- The quest for Diophantine finite-fold-ness
- scientific article; zbMATH DE number 730318 (Why is no real title available?)
- ``One equation to rule them all, revisited
- Julia Robinson numbers and arithmetical dynamic of quadratic polynomials
- scientific article; zbMATH DE number 966989 (Why is no real title available?)
- Northcott numbers for the house and the Weil height
- Martin Davis: an overview of his work in logic, computer science, and philosophy
- On Diophantine singlefold specifications
- An approach to Julia Robinson numbers through the lattice of subfields
- What can and cannot be done with Diophantine problems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4897352)