Statistics
Publications
43
Citations
10K
H-Index
26
Active since
1953
Affiliations
Martin Davis is an author at Courant Institute of Mathematical Sciences specializing in mathematics, computer science, and computing.
Publications per year
1953–2020
43
43
A machine program for theorem-proving
Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.2K citations · Full text
A Computing Procedure for Quantification Theory
Martin Davis, Hilary Putnam · Journal of the ACM · 1960 · 2.6K citations · Full text
Computability and Unsolvability.
Calvin C. Elgot, Martin Davis · Mathematical Tables and Other Aids to Computation · 1959 · 1K citations
Martin Davis, Yuri Matiyasevich · American Mathematical Monthly · 1995 · 457 citations
Hilbert's Tenth Problem is Unsolvable
Martin Davis · American Mathematical Monthly · 1973 · 373 citations
1–5 of 43