Computer solution of Diophantine equations Computational number theory mathematics