2 papers
math.NT2026
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…
cs.CG2026
Computing braids from approximate data
Alexandre Guillemot, Pierre Lairez
We study the theoretical and practical aspects of computing braids described by approximate descriptions of paths in the plane. Exact algorithms rely on the lexicographic ordering…