Skip to main content
Skip to secondary navigation
Stanford University
Stanford
Stanford Undergraduate Research Institute in Mathematics
Search this site
Submit Search
Menu
Home
About SURIM
Apply for SURIM!
SURIM 2026
People
Schedule
Final Presentation Schedule
Online Resources
Past Projects
Past Posters
Contact
Publication
Formalizing Wigner's Semicircle Law in Lean
Mentor:
Fred Rajasekaran
Formalizing Wigner’s Semicircle Law in Lean
(1023.64 KB)
Author(s)
Haoyan Jiang
Richard Oh
Kiran Sun
Paul Yoon
Publication Date
2025
Related Topics
Probability and Statistics
More Publications
Other
The h-Principle and Singularities
Geometry and Topology
Other
On polynomial progressions in finite fields
Algebraic Geometry
Other
Grothendieck Duality for a Special Quotient Stack [V/G]
Algebraic Geometry
See All Publications
Back to Top