On the p-adic Recovery of Elliptic Curve Generators: A Constructive LLL-Based Approach

Abstract: We formalize a p-adic algorithm A(E, p) for recovering the free generators of the Mordell-Weil group E(ℚ). By combining the…