Computing in the Jacobian of a Hyperelliptic Curve
David G. Cantor · Mathematics of Computation · 1987
In this paper we present algorithms, suitable for computer use, for computation in the Jacobian of a hyperelliptic curve. We present a reduction algorithm which is asymptotically faster than that of Gauss when the genus g is very large.