Scholar
Kai Li
Google Scholar ID: ayyDfHQAAAAJ
PhD at Mathematics and Statistics, University of Massachusetts Amherst
Mathematical Physics
Dynamical Systems
Scientific Computing
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
7,767
H-index
42
i10-index
173
Publications
20
Co-authors
9
list available
Publications
1 items
Formalizing Scarf, Brouwer, and Nash in Lean
2026
Cited
0
Co-authors
2 total
Panayotis Kevrekidis
Professor, Dept. of Mathematics & Statistics, UMass, Amherst
Hadi Susanto
Professor, Mathematics, Khalifa University
