Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic | IEEE Journals & Magazine | IEEE Xplore