IntervalMatrices (julia): Matrices with interval coefficients in Julia
Keywords: interval-arithmetic|reachability-analysis|intervals|matrix-exponential|matrix-computations