Nigel P. Smart

The Algorithmic Resolution of Diophantine Equations