Here :
https://en.wikipedia.org/wiki/Elliptic_curve#Integral_points
an upper bound for the integral values on an elliptic curve is given.
But this bound is so large that it is of no use in practice, if all integral points have to be found.
How can I find all integral points in practice ?
In the above article, it is mentioned that a "sum" of solutions is again a solution. But I do not think that all solutions can be found this way in general, or is this actually the case ? Moreover, it can be difficult to find one solution or to prove that none exists. Who can help ?
The given answer contains a lot of links, but I would prefer to have either at least the main ideas or how I can determine the solutions with PARI/GP, my favorite calculator-program. Moreover, I noticed that most implemented methods rely on unproved conjectures, if I did not misinterprete it. This would be not really satisfying.
Although there are many techniques known, and algorithms in computer algebra systems are available (e.g. for SAGE), it is in general not possible to find all integral points on a given elliptic curve in practice. By Siegel's Theorem we know that there are only finitely many integral points on elliptic curves over an algebraic number field, but still this does not help for the question of finding them all. The MO-question has some references from experts, e.g., by Cremona, who has a large database on elliptic curves.