Title: Algorithms for diophantine equations