Canonical-lane closure package for the Bloch-Kato conjecture: admissible-class formulation, projection gates, local-to-global bridge, and carried remainder.
reproducibility arithmetic-geometry motives local-to-global mathematical-proof l-functions bloch-kato-conjecture selmer-groups manifold-constrained canonical-lane
-
Updated
Jul 2, 2026 - Python