Critical Exponents for Three-Dimensional Percolation: A Crossover Approach via Long-Range Renormalization
Mathematics verified. Core theorems are machine-checked in Lean 4.
Prose and presentation may not have been human-reviewed.
Length
37,738 words
Claims
2 theorems
Status
research-phase
Target
Annals of Probability / Probability Theory and Related Fields
Connects To
Bridge Algebra: A Formal Framework for Cross-Domain Knowledg...
Universal Foundations: A Verified Library of Core Mathematic...