野山羊

IBEX是一个用于实数约束处理的C++库。它为处理非线性约束提供了可靠的算法。特别是舍入误差也被考虑在内。它基于区间算法和仿射算法。Ibex的主要特点是它能够通过contractor编程范式声明性地构建策略。它也可以用作黑盒解算器。可以解决的两个典型问题是:系统解决。计算了(非线性)方程组的每一个解的一个保证封闭空间。全局优化。在目标最小值上有保证界的条件下,求出了一类非线性约束下函数的全局极小值。IBEX是一个开源的学术项目,始于2007年。


zbMATH中的参考文献(参考12篇文章,1标准件)

显示第1到第12个结果,共12个。
按年份排序(引用)

  1. 非线性问题:克里斯托夫特奇布朗特(Alexa Tejnes)和《无限问题的标准方法》(Christophen branch,2020;和Gillanto-Szbine;非线性方法;Gillanto-branch,2020)
  2. Goldsztejn,Alexandre;Chabert,Gilles:使用区间Lyapunov方程估计非光滑系统的鲁棒吸引域(2019)
  3. 雨果,朱德瑞;佛罗伦萨,蒂亚德:使用多区间约束传播求解机车车辆管理问题的贪婪方法。使用多区间约束传播求解机车车辆管理问题的贪婪方法,2014年ROADEF/EURO challenge 2014(2018年)
  4. Neveu,Bertrand;Trombettoni,Gilles;Araya,Ignacio:区间分枝定界算法中的节点选择策略(2016)
  5. Ninin,Jordan:基于承包商编程的全局优化:IBEX库概述(2016)
  6. Vismara,Philippe;Coletta,Remi;Trombettoni,Gilles:葡萄酒混合的约束全局优化(2016)
  7. Neveu,Bertrand;Trombettoni,Gilles;Araya,Ignacio:自适应构造性区间析取:算法与实验(2015)
  8. 古阿拉德:如何计算区间的中点?(2014年)
  9. Maïga,Moussa;Ramdani,Nacim;Travé-Massuyès,Louise;Combastel,Christophe:求解非线性混合可达性中保护集交集的CSP与基于zonotope的方法(2014)
  10. Araya,Ignacio;Neveu,Bertrand;Trombettoni,Gilles:基于发生分组的区间扩展(2012)
  11. 贝特-内华特,国际米兰,贝特-内弗特-布洛克,纽顿-内华达-布洛克;国际米兰
  12. Chabert,Gilles;Jaulin,Luc:承包商编程(2009)