[FOM] Decidability of Diophantine equations

Andrej Bauer Andrej.Bauer at fmf.uni-lj.si
Fri Dec 15 04:49:29 EST 2006

Thank you all for the feedback. I learnt I can eliminate quadratic 
equations. Alas, only very few small sentences seem to be of this form 
(somewhere around 1% to 2% for size up to 13).

Andrej Bauer

More information about the FOM mailing list