Gourt Home::Gourt :: Martin Davis

 

Martin Davis, (born 1928, New York City) is an American mathematician, known for his work on Hilbert's tenth problem. He is Professor Emeritus at New York University. He is the co-inventor of the Davis-Putnam and the DPLL algorithms.

External links

---

• Martin Davis's website
• About Davis and a book by him

1928 births | Living people | American mathematicians | 20th century mathematicians | Number theorists | Logicians

 

This article is licensed under the GNU Free Documentation License. It uses material from the "Martin Davis".

Home Page • arts • business • computers • games • health • hospitals • home • kids & teens • news • physicians • recreation• reference • regional • science • shopping • society • sports • world