A arxiv.org Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic (2016) 78 points helltone 5 years ago 42 comments