Re: Diopantine Equations and comp science



Nathan Gilbert a écrit :


Did you happen to Google for Hilbert's 23 problems? Look at the 10th one and the work of Martin Davis, among others.

NG

And an application of that theoretical result could be found in :

http://www.prism.uvsq.fr/~touati/publis/CF06.ps.gz

S
.