Rigorous floating-point calculations using interval arithmetic in Julia
Find all roots of a function in a guaranteed way with Julia
Rigorous floating-point calculations with interval arithmetic in Julia
Calculate rigorously the feasible region for a set of real-valued inequalities with Julia
Rigorous global optimisation in pure Julia
Rigorous function approximation using Taylor models in Julia
Correctly-rounded mathematical functions for Julia
Interval contractors and inverse (reverse) functions for Julia
Julia wrapper of the MPFI multi-precision interval library