Computer-assisted verification of four interval arithmetic operators. - Daisuke Ishii; Tomohito Yabu (J. Comput. Appl. Math., 2020)