Home
Vita
Research
Visuals
Lean
Skills
Teaching
Lean formalisations
Homogenization at a polynomial scale in high contrast (Lean 4 formalisation)
|
Palomar
|
arXiv
j.w. S Armstrong-T Kuusi. 2026.