TY - RPRT TI - Explicit arithmetic intersection theory and computation of Néron-Tate heights AU - Raymond van Bommel AU - David Holmes AU - J. Steffen Müller PY - 2019 UR - https://arxiv.org/abs/1809.06791 ID - 1809.06791 ER -