The Algorithmic Resolution of Diophantine Equations by Nigel P. Smart