2 projects
Interval Computation Libraries
Libraries that implement interval arithmetic and related techniques for rigorous numerical computations with guaranteed error bounds. These libraries enable reliable scientific computing by tracking and managing numerical uncertainties.
172 contributors
$4M
IntervalArithmetic.jl
IntervalArithmetic.jl is a Julia package that implements interval arithmetic for scientific computing, allowing rigorous numerical computations with guaranteed error bounds. It provides tools for working with intervals as sets of real numbers, supporting basic arithmetic operations, transcendental functions, and interval contractors.
172
50
$536K
IBEX
IBEX is an open-source C++ library for constraint processing over real numbers. It provides tools for interval arithmetic, constraint programming, and global optimization, particularly useful for solving nonlinear problems. The library implements interval-based algorithms and contractors for handling numerical constraints.