Kisun Lee: Effective Alpha Theory Certification Using Interval Arithmetic: Alpha Theory over Regions. ICMS 2024: 275-284