The algorithmic resolution of diophantine equations

Includes index

Includes bibliography (p. 231-239) and references

Pt. 1. Basic solution techniques
pt. 2. Methods using linear forms in logarithms
pt. 3. Integral and rational points on curves

Beginning with a brief introduction to algorithms and diophantine equations, this volume aims to provide a coherent account of the methods used to find all the solutions to certain diophantine equations, particularly those procedures which have been developed for use on a computer. The study is divided into three parts, the emphasis throughout being on examining approaches with a wide range of applications. The first section considers basic techniques including local methods, sieving, descent arguments and the LLL algorithm.