  In the first part we construct algorithms which we apply to solve S-unit,
Mordell, cubic Thue, cubic Thue-Mahler and generalized Ramanujan-Nagell
equations. As a byproduct we obtain alternative practical approaches for
various classical Diophantine problems, including the fundamental problem of
finding all elliptic curves over Q with good reduction outside a given finite
set of rational primes. To illustrate the utility of our algorithms we
determined the solutions of large classes of equations, containing many
examples of interest which are out of reach for the known methods. In addition
we used the resulting data to motivate various conjectures and questions,
including Baker's explicit abc-conjecture and a new conjecture on S-integral
points of any hyperbolic genus one curve over Q.
  In the second part we establish new results for certain old Diophantine
problems (e.g. the difference of squares and cubes) related to Mordell
equations, and we prove explicit height bounds for cubic Thue, cubic
Thue--Mahler and generalized Ramanujan--Nagell equations. As a byproduct, we
obtain here an alternative proof of classical theorems of Baker, Coates and
Vinogradov-Sprindzuk. In fact we get refined versions of their theorems, which
improve the actual best results in many fundamental cases. Our results and
algorithms all ultimately rely on the method of Faltings (Arakelov, Parshin,
Szpiro) combined with the Shimura-Taniyama conjecture, and they all do not use
lower bounds for linear forms in (elliptic) logarithms.
  In the third part we solve the problem of constructing an efficient sieve for
the S-integral points of bounded height on any elliptic curve E over Q with
given Mordell-Weil basis of E(Q).
