IntervalArithmetic (julia): Rigorous floating-point calculations using interval arithmetic in Julia
Keywords: validated|arithmetic|intervals|rigorous