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