Title: Algorithmic Resolution of Diophantine Equations