Effective alpha theory certification using interval arithmetic: alpha theory over regions.