Martin Davis

From Free net encyclopedia

Revision as of 21:00, 5 February 2006; view current revision
←Older revision | Newer revision→

Martin Davis, (born 1926, 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.

[edit]

External links

Template:Mathbiostub

Retrieved from "http://www.netipedia.com/index.php/Martin_Davis"