IntervalLinearAlgebra (julia): Linear algebra done rigorously
Keywords: interval-arithmetic|linear-algebra|numerics