The Andre-Oort conjecture via special-subvariety persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.
reproducibility arithmetic-geometry local-to-global mathematical-proof o-minimality andre-oort-conjecture shimura-varieties special-subvarieties manifold-constrained canonical-lane
-
Updated
Mar 11, 2026 - Python