TY  - RPRT
TI  - Effective alpha theory certification using interval arithmetic: alpha theory over regions
AU  - Kisun Lee
PY  - 2024
UR  - https://arxiv.org/abs/2405.04842
ID  - 2405.04842
ER  -