Explicit arithmetic intersection theory and computation of Néron-Tate heights

Raymond van Bommel, David Holmes, J. Steffen Müller. Explicit arithmetic intersection theory and computation of Néron-Tate heights. Math. Comput., 89(321):395-410, 2020. [doi]

Abstract

Abstract is missing.