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).
Gerry Myerson
- 39.9k
- 10
- 186
- 247