In recent years there has been an interest in using elliptic
logarithms to find
integral points on elliptic curves defined over the rationals, see
, , 
This has been partly due to work of David , who
gave an explicit lower bound for
linear forms in elliptic logarithms. Previously, integral points on
elliptic curves had
been found by Siegel's method; that is, a reduction to a set of
Thue equations which
could be solved, in principle, by the methods in .
For examples of this method see
, , ,
, , 
. Other techniques can be used to find all integral
points in some special cases, see, for instance, .