Library for validated numerics using interval arithmetic

Library for finding the roots of a function using interval arithmetic

Rigorous floating-point calculations with interval arithmetic in Julia

Calculate rigorously the feasible region for a set of real-valued inequalities with Julia

Rigorous function approximation using Taylor models in Julia

Calculate rigorously the feasible region for a set of real-valued inequalities with Julia

Rigorous global optimisation in pure Julia

Linear algebra done rigorously

Interval contractors and inverse (reverse) functions for Julia

Affine arithmetic in Julia

Correctly-rounded mathematical functions for Julia

Multi-dimensional interval boxes in Julia

-