史蒂芬·般若 非线性模型验证的屏障证书。 (英语) Zbl 1121.93007号 Automatica公司 42,第117-126号(2006年).MSC公司:93A30型 93立方厘米 93立方厘米 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Prajna},Automatica 42,第1期,117--126(2006;Zbl 1121.93007) 全文: 内政部
R.Baker Kearfott先生 线性松弛和替代技术在验证确定性全局优化中的讨论和经验比较。 (英语) Zbl 1112.90080 最佳方案。方法软件。 21,第5期,715-731(2006).MSC公司:90立方 65G40型 PDF格式BibTeX公司 XML格式引用 \发短信{R.B.Kearfott},Optim。方法软件。21,第5号,715--731(2006;Zbl 1112.90080) 全文: 内政部
歌手Adam B。;保罗·巴顿。 非线性常微分方程的全局优化。 (英语) Zbl 1091.49028号 J.全球。最佳方案。 34,第2期,159-190(2006).MSC公司:49立方米 90C26型 34A34飞机 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Singer}和\textit{P.I.Barton},J.Glob。最佳方案。34,第2号,159--190(2006;Zbl 1091.49028) 全文: 内政部
Jean B.Lasserre。 具有多项式的鲁棒全局优化。 (英语) 兹比尔1134.90031 数学。程序。 107,第1-2(B)号,275-293(2006).MSC公司:90C22型 90C26型 90立方 90立方厘米 90立方厘米47 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Lasserre},数学。程序。107,编号1--2(B),275--293(2006;Zbl 1134.90031) 全文: 内政部
塞缪尔·伯勒;迪特尔·范登巴斯 求解二进制整数程序的lift-project松弛。 (英语) Zbl 1113.90100号 SIAM J.Optim公司。 16,第3期,726-750(2006).MSC公司:90立方厘米 90C22型 90C27型 90立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Burer}和\textit{D.Vandenbussche},SIAM J.Optim。16,第3号,726--750(2006;Zbl 1113.90100) 全文: 内政部 链接