The Algorithmic Resolution of Diophantine Equations: A Computational Cookbook (London Mathematical Society Student Texts, Series Number 41)

Beginning with a brief introduction to algorithms and diophantine equations, this volume provides a coherent modern account of the methods used to find all the solutions to certain diophantine equations, particularly those developed for use on a computer. The study is divided into three parts, emphasizing approaches with a wide range of applications. The first section considers basic techniques including local methods, sieving, descent arguments and the LLL algorithm. The second section explores problems that can be solved using Baker's theory of linear forms in logarithms. The final section looks at problems associated with curves, focusing on rational and integral points on elliptic curves. Each chapter concludes with a useful set of exercises. A detailed bibliography is included. This book will appeal to graduate students and research workers interested in solving diophantine equations using computational methods. 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. The Second Section Explores Problems Which Can Be Solved Using Baker's Theory Of Linear Forms In Logarithms. The Final Section Looks At Problems Associated With Curves, Mainly Focusing On Rational And Integral Points On Elliptic Curves. Each Chapter Concludes With A Useful Set Of Exercises. A Detailed Bibliography Is Included. This Book Will Appeal To Graduate Students And Research Workers, With A Basic Knowledge Of Number Theory, Who Are Interested In Solving Diophantine Equations Using Computational Methods. Ch. I. Introduction -- Pt. 1. Basic Solution Techniques. Ch. Ii. Local Methods. Ch. Iii. Applications Of Local Methods To Diophantine Equations. Ch. Iv. Ternary Quadratic Forms. Ch. V. Computational Diophantine Approximation. Ch. Vi. Applications Of The Lll-algorithm -- Pt. 2. Methods Using Linear Forms In Logarithms. Ch. Vii. Thue Equations. Ch. Viii. Thue-mahler Equations. Ch. Ix. S-unit Equations. Ch. X. Triangularly Connected Decomposable Form Equations. Ch. Xi. Discriminant Form Equations -- Pt. 3. Integral And Rational Points On Curves. Ch. Xii. Rational Points On Elliptic Curves. Ch. Xiii. Integral Points On Elliptic Curves. Ch. Xiv. Curves Of Genus Greater Than One -- App. A. Linear Forms In Logarithms -- App. B. Two Useful Lemmata. N.p. Smart. Includes Bibliographical References And Index. This book shall concern itself with the study of modern methods for solving diophantine equations.