1: \begin{abstract} \setlength{\parskip}{1ex} \setlength{\parindent}{0mm}
2: We introduce an algorithm to compute the structure of the rational torsion subgroup of the Jacobian of a
3: hyperelliptic curve of genus~3 over the rationals. We apply a {\tt Magma} implementation
4: of our algorithm to a database of curves with low discriminant due to Sutherland as well as a
5: list of curves with small coefficients. In the process, we find several torsion
6: structures not previously described in the literature.
7: The algorithm is a generalisation of an algorithm for genus 2 due to Stoll, which we
8: extend to
9: abelian varieties satisfying certain conditions. The idea is to compute
10: $p$-adic torsion lifts of points
11: over finite fields using the Kummer variety and to check whether
12: they are rational using heights. Both have been made explicit for
13: Jacobians of hyperelliptic curves of genus~3 by Stoll.
14: This article is partially based on the second-named author's Master thesis.
15: \end{abstract}