TY  - RPRT
TI  - Computer-Assisted Verification of Four Interval Arithmetic Operators
AU  - Daisuke Ishii
AU  - Tomohito Yabu
PY  - 2020
DO  - 10.1016/j.cam.2020.112893
UR  - https://arxiv.org/abs/2003.10623
ID  - 2003.10623
ER  -