Login / Signup

Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic.

Fredrik Johansson
Published in: IEEE Trans. Computers (2017)
Keyphrases
  • interval arithmetic
  • constraint propagation
  • provably correct
  • three dimensional
  • general purpose
  • real numbers