IBEX
swMATH ID:  11947 
Software Authors:  Chabert, G; Ninin, Jordan 
Description:  IBEX is a C++ library for constraint processing over real numbers. It provides reliable algorithms for handling nonlinear constraints. In particular, roundoff errors are also taken into account. It is based on interval arithmetic and affine arithmetic. The main feature of Ibex is its ability to build strategies declaratively through the contractor programming paradigm. It can also be used as a blackbox solver. Two emblematic problems that can be addressed are: System solving. A guaranteed enclosure for each solution of a system of (nonlinear) equations is calculated. Global optimization. A global minimizer of some function under nonlinear constraints is calculated with guaranteed bounds on the objective minimum. IBEX is an opensource academic project that started in 2007. 
Homepage:  http://www.ibexlib.org/ 
Related Software:  Numerica; PROFIL/BIAS; filib++; IbexOpt; RealPaver; gaol; INTOPT_90; BARON; INTLAB; CPLEX; COPRIN; Codac; Acumen; DynIbex; JuliaReach; Flow*; ValEncIAIVP; PHAVer; GitHub; Arb 
Cited in:  13 Publications 
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH  Year 

Global optimization based on contractor programming: an overview of the IBEX library. Zbl 1460.65080 Ninin, Jordan 
2016

all
top 5
Cited by 20 Authors
all
top 5
Cited in 9 Serials
Cited in 5 Fields
8  Operations research, mathematical programming (90XX) 
5  Numerical analysis (65XX) 
3  Systems theory; control (93XX) 
2  Computer science (68XX) 
1  Ordinary differential equations (34XX) 