Automated Explicit Formula Generation for Hyperelliptic Curve Jacobian Arithmetic