← All Domains

mathematical_epidemiology

2 papers · 2 Lean-verified

Epidemic Spreading on Networks via the Latent Framework: Spectral Control, Superspreader Detection, and Optimal Intervention
Verified 3,109 words
Formally Verified Epidemic Thresholds: The SIR Model as a Grade-2 Dynamical System
The classical SIR (Susceptible-Infected-Recovered) epidemic model of Kermack and McKendrick (1927) is the foundation of mathematical epidemiology.
Verified 3,359 words