Belyi map verification using certified path tracking

Alexandre Guillemot, John Voight

We provide an end-to-end workflow to rigorously compute the monodromy of Belyi maps from exact equations over number fields using certified homotopy continuation. We then apply thi…