@entry{nin-16-aa-ibex, author = {J Ninin}, title = {Global Optimization Based on Contractor Programming: An Overview of the <i>IBEX</i> Library}, journal = {International Conference on Mathematical Aspects of ...,}, volume = {}, number = {}, pages = {}, year = 2015, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://link.springer.com/chapter/10.1007/978-3-319-32859-1_47}}}, quotes = {... 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 ...} }