@misc{indiciae7491a8b162bf,
  title = {Explicit arithmetic intersection theory and computation of Néron-Tate heights},
  author = {Raymond van Bommel and David Holmes and J. Steffen Müller},
  year = {2019},
  url = {https://arxiv.org/abs/1809.06791},
  note = {Source identifier: 1809.06791}
}