Explicit arithmetic intersection theory and computation of Néron-Tate heights. - Raymond van Bommel; David Holmes; Jan Steffen Müller (Math. Comput., 2020)

Numerical Verification of the Birch and Swinnerton-Dyer Conjecture for Hyperelliptic Curves of Higher Genus over ℚ up to Squares. - Raymond van Bommel (Exp. Math., 2022)