Schanuel's conjecture via exponential-algebraic persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.
reproducibility number-theory model-theory local-to-global mathematical-proof schanuel-conjecture transcendence-theory exponential-algebra manifold-constrained canonical-lane
-
Updated
Mar 11, 2026 - Python