×

野山羊

swMATH标识: 11947
软件作者: 查伯特,G;尼宁,约旦
说明: IBEX是一个用于实数约束处理的C++库。它为处理非线性约束提供了可靠的算法。特别是舍入误差也被考虑在内。它基于区间算法和仿射算法。Ibex的主要特点是它能够通过contractor编程范式声明性地构建策略。它也可以用作黑盒解算器。可以解决的两个典型问题是:系统解决。计算了(非线性)方程组的每一个解的一个保证封闭空间。全局优化。在目标最小值上有保证界的条件下,求出了一类非线性约束下函数的全局极小值。IBEX是一个开源的学术项目,始于2007年。
主页: http://www.ibex-lib.org/
相关软件: 数字;轮廓/偏差;菲利布++;易卜赛特;摊铺机;监狱;语调90;男爵;国际实验室;CPLEX公司;椰黄素;Codac公司;敏锐;DynIbex公司;朱利亚雷亚奇;流量*;瓦伦西亚静脉注射;法弗;github;Arb公司
引用于: 13种出版物

按年份列出的引文