Introduction. By a famous theorem of Siegel [S], the number of integral points on an elliptic curve E over an algebraic number field K is finite. A conjecture of Lang and Demyanenko (see [L3], p. 140) states that, for a quasiminimal model of E over K, this number is bounded by a constant depending only on the rank of E over K and on K (see also [HSi], [Zi4] [GSch]). The Siegel-Baker method (see [L3]) for the calculation of integer points on elliptic curves over K = Q requires some detailed information about certain quartic number fields. Computing these fields often represents a hard problem and, moreover, this approach does not seem to be appropriate. That is why in general all the results mentioned above cannot be used for the actual calculation of all integral points on an elliptic curve E over Q.However, there is another method suggested by Lang [L1], [L3] and further developed by Zagier [Za]. We shall work out the Lang-Zagier method and turn it into an algorithm for determining all integral points on elliptic curves E over Q using elliptic logarithms. The algorithm requires the knowledge of a basis of the Mordell-Weil group E(Q) and of an explicit lower bound for linear forms in elliptic logarithms. Compared to the Siegel-Baker

Let the elliptic curve E be defined by the equationformula herewith a1, …, a6 ∈ ℤ. Define a finite set of places S = {q1, …, qs−1, qs = ∞} of ℚ and put Q = max {q1, …, qs−1}. Let E(ℚ) denote the set of (x, y) ∈ ℚ2 satisfying (1) and the infinite point [Oscr ].The multiplicative height of a rational point P = (x, y) ∈ E(ℚ) is defined as the following product over all places q of ℚ (including q = ∞):formula herewhere the [mid ]x[mid ]qs are the normalized multiplicative absolute values of ℚ corresponding to the places q.

1. Introduction. By a famous theorem of Siegel [S], the number of integral points on an elliptic curve E over an algebraic number field K is finite. A conjecture of Lang and Demyanenko (see [L3], p. 140) states that, for a quasiminimal model of E over K, this number is bounded by a constant depending only on the rank of E over K and on K (see also [HSi], [Zi4]). This conjecture was proved by Silverman [Si1] for elliptic curves with integral modular invariant j over K and by Hindry and Silverman [HSi] for algebraic function fields K. On the other hand, beginning with Baker [B], effective bounds for the size of the coefficients of integral points on E have been found by various authors (see [L4]). The most recent bound was established by W. Schmidt [Sch, Th. 2]. However, the bounds are rather large and therefore can be used only for solving some particular equations (see [TdW1], [St]) or for treating a special model of elliptic curves, namely Thue curves of degree 3 (see [GSch]). The Siegel-Baker method (see [L3]) for the calculation of integer points on elliptic curves over K = Q requires some detailed information about certain quartic number fields. Computing these fields often represents a hard problem and, moreover, this approach does not seem to be appropriate. That is why in general all the results mentioned above cannot be used for the actual calculation of all integral points on an elliptic curve E over Q. However, there is another method suggested by Lang [L1], [L3] and further developed by Zagier [Za]. We shall work out the Lang-Zagier method and turn it into an algorithm for determining all integral points on elliptic curves E over Q using elliptic logarithms. The algorithm requires the knowledge of a basis of the Mordell-Weil group E(Q) and of an explicit lower bound for linear forms in elliptic logarithms. Compared to the Siegel-Baker

No abstract

Abstract.In an earlier paper we developed an algorithm for computing all integral points on elliptic curves over the rationals Q. Here we illustrate our method by applying it to Mordell's Equation y 2 = x 3 +k for 0 6 = k 2 Zand draw some conclusions from our numerical findings. In fact we solve Mordell's Equation in Z for all integers k within the range 0 jkj 6 10 000 and partially extend the computations to 0 jkj 6 100 000. For these values of k, the constant in Hall's conjecture turns out to be C = 5. Some other interesting observations are made concerning large integer points, large generators of the Mordell-Weil group and large Tate-Shafarevič groups. Three graphs illustrate the distribution of integer points in dependence on the parameter k. One interesting feature is the occurrence of lines in the graphs. Mathematics Subject Classifications (1991):14H52, 14-04, 11G05.