It is very common, when finding solutions to Diophantine equations, to use Baker's method of linear forms in logarithms to reduce the problem to a finite computation (that is, to find an upper bound for the solutions).