Mathematicians settle 30-year-old resonance controversy with interval arithmetic | Heykuki News