collaborators

1 paper

math.NT2018

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

Raymond van Bommel, David Holmes, J. Steffen Müller

We describe a general algorithm for computing intersection pairings on arithmetic surfaces. We have implemented our algorithm for curves over , and we show how to use it…