“…The problems of computing the height of a given point on the Jacobian of a curve and computing the (finite) sets of points of bounded height on the Jacobian have been studied since the work of Tate in the 1960s, who gave a simpler formula for Néron's height. Using this formula, Tate (unpublished), Dem'janenko [Dem68], Zimmer [Zim76], Silverman [Sil90] and more recently Cremona, Prickett and Siksek [CPS06], Uchida [Uch08] and Bruin [Bru13] have given increasingly refined algorithms for the case of elliptic curves. Meanwhile, in the direction of increasing genus, Flynn and Smart [FS97] gave an algorithm for the above problems for genus 2 curves building on work of Flynn [Fly93], which was later modified by Stoll ([Sto99] and [Sto02]).…”