Computing the Stable Reduction of Hyperelliptic Curves in Residue Characteristic 2 | Synapse