Browse solvers

An interval solver with result verification based on Taylor and Hermite-Obreshkoff series expansions (developed entirely using Literate Prog…

DynIbex is a plug-in of Ibex (a library for constraint processing over real numbers). DynIbex offers a set of verified methods based on Rung…