Martin Davis

发表

On the number of solutions of Diophantine equations

Martin Davis, 1972 .

Review: Kurt Godel, John Dawson, Review of Hilbert's Die Grundlegung der Elementaren Zahlentheorie (10818); Solomon Feferman, Introductory Note to 1931c

Martin Davis, 1990 .

ONE EQUATION TO RULE THEM ALL

Martin Davis, 1968 .

Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem

Martin Davis, 2011 .