Infinite Descent on Elliptic Curves
Samir Siksek · Rocky Mountain Journal of Mathematics · 1995
We present an algorithm for computing an upper bound for the difference of the logarithmic height and the canonical height on elliptic curves. Moreover a new method for performing the infinite descent on elliptic curves is given, using ideas from the geometry of numbers. These algorithms are practical and are demonstrated by a few examples.