Floating point multiplication rounding schemes for interval arithmetic | IEEE Conference Publication | IEEE Xplore