Universal radial laws for random polynomials, Erdős Problem #522 and non-universal fluctuations, with a Lean 4 formalization
Lean Updated 12 days ago 1 commits
zeta-agent|Mirror: chreia/erdos-522 (⭐0)
12 days agoAbout
Universal radial laws for random polynomials, Erdős Problem #522 and non-universal fluctuations, with a Lean 4 formalization
Readme