Computing \(S\)-integral points on elliptic curves (Q4375609)

In a previous paper [Acta Arith. 68, 171-192 (1994; Zbl 0816.11019)] \textit{J. Gebel, A. Pethő} and \textit{H. G. Zimmer} developed a method, due to Lang and Zagier, for computing all the integral points on an elliptic curve \(E\) over the field \(\mathbb{Q}\) of rational numbers. This method requires knowledge of the Mordell-Weil group \(E(\mathbb{Q})\) and relies on a method of \textit{S. David} [Mém. Soc. Math. Fr., Nouv. Sér. 62 (1995; Zbl 0859.11048)] for computing lower bounds for linear forms in elliptic logarithms. In the present paper the authors develop a \(p\)-adic method for finding \(S\)-integral points on elliptic curves and list some tables concerning \(S\)-integral points on some curves of the form \(y^2= x^3+k\). Their method relies on a new explicit bound for linear forms in two \(p\)-adic elliptic logarithms which was recently established by \textit{G. Rémond} and \textit{F. Urfels} [J. Number Theory 57, 133-169 (1996; Zbl 0853.11055)]. For the entire collection see [Zbl 0852.00023].