A certified computational workflow computes and verifies monodromy triples for Belyi maps and applies it at scale to the LMFDB database.
Guillemot.Belyi monodromy.https://gitlab.inria.fr/aguillem/belyi- monodromy
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.NT 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Belyi map verification using certified path tracking
A certified computational workflow computes and verifies monodromy triples for Belyi maps and applies it at scale to the LMFDB database.