most citedEmergent properties with repeated examples

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing math.APShow all

1 paper · 1 filter

math.AP2026

Formalization of De Giorgi--Nash--Moser Theory in Lean

Scott Armstrong, Julia Kempe

We present a formalization in Lean of the core interior De Giorgi--Nash--Moser theory for uniformly elliptic divergence-form equations with bounded measurable coefficients. The for…