All the data on higher genus curves with automorphisms was computed with rigorous algorithms and without heuristics or conjectures.
All the data on higher genus curves with automorphisms was computed with rigorous algorithms and without heuristics or conjectures.