The Algorithmic Solution of Diophantine Equations