The tenth problem in D. Hilbert's famous list asked the following : Devise an algorithm to decide whether a polynomial equation with integer coe cients has an integer solution. (These equations are called Diophantine ...