"Algorithm for diophantine equations in one variable. JSC 1999" - читать интересную книгу автора (Cucker et al.)