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…
math.NT2025
Ideal classes of orders in quaternion algebras
Stefano Marseglia, Harry Smit
We provide an algorithm that, given any order in a quaternion algebra over a global field, computes representatives of all right equivalence classes of right -ideals, includ…