Computing a lower bound for the canonical height on elliptic curves over totally real number fields

Computing a lower bound for the canonical height is a crucial step in determining a Mordell-Weil basis of an elliptic curve. This paper presents a new algorithm for computing such lower bound, which can be applied to any elliptic curves over totally real number fields. The algorithm is illustrated via some examples