科迪亚克 swMATH ID: 42706 软件作者： 马可·费利乌（Marco A.Feliu）；Aaron M.Dutle；塞萨尔·穆尼奥斯（Cesar A.Munoz）；等。 描述： Kodiak，一个用于严格分支和边界计算的C++库。Kodiak是一个C++库，它实现了用于严格数值近似的通用分支定界算法。分支定界算法的特殊实例允许用户细化和隔离非线性方程组和不等式组、全局优化问题以及ODE系统的分支集的解决方案。Kodiak使用区间算术（通过filib++库）和Bernstein封闭（用于多项式和有理函数）作为自验证封闭方法。符号运算支持诸如自动偏微分之类的过程。 主页： https://github.com/nasa/科迪亚克 源代码： https://github.com/nasa/科迪亚克 依赖项： C类++ 相关软件： ReachNN公司；卡（Kaa）；萨波；github 引用于： 1文件 3位作者引用 1 斯坦利·巴克 1 帕拉萨拉·斯里达尔·达吉拉拉 1 爱德华·D·金。 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文