Boost区间算法

Boost区间算法库的设计。我们提出了Boost区间算术库的设计,这是一个C++库,旨在以一种通用的方式高效地处理数学区间。区间计算是可靠计算的重要工具。越来越多的数学证明依赖于使用带区间计算的分枝定界算法来解决全局优化问题;因此,在数学上正确实现区间算法是极其重要的。不同的实现具有不同的语义。我们的设计是独特的,它使用策略来指定三个独立变量行为:舍入、检查和比较。因此,通过适当的策略,我们的interval库能够模拟几乎所有可用于区间算法的专用库,而不会损失任何性能,也不会牺牲易用性。该库可在www.boost.org上公开获取。


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

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

  1. Alessandro Abate;Iury Bessa;Cordeiro,Lucas;David,Cristina;Kesseli,Pascal;Kroneing,Daniel;Elizabeth Polgreen:连续装置可证明安全数字控制器的自动形式综合(2020年)
  2. 宋彦志;杨周旺;刘媛;邓建松:基于功能表示的三维打印切片机(2018)
  3. Chattopadhyay,Amit;Vegger,Gert;Yap,Chee K.:平面Morse-Smale复合物的认证计算(2017)
  4. Boukouvala,Fani;Misener,Ruth;Floudas,Christodoulos A.:混合整数非线性规划的全局优化进展,MINLP和约束无导数优化,CDFO(2016)
  5. 阿希姆·韦克森(Wechsung),约瑟夫·K·斯科特(Scott),哈里·A·J·沃森(Watson),保罗·I.:麦考密克放松的反向传播(2015)
  6. 古阿拉德:如何计算区间的中点?(2014年)
  7. Ruth Misener;Floudas,Christodoulos A.:全球优化混合整数符号规划的框架(2014)
  8. Misener,Ruth;Floudas,Christodoulos A.:ANTIGONE:非线性方程连续/整数全局优化算法(2014)
  9. Andreas Lundell;Skjäl,Anders;Westerlund,Tapio:全球优化的重新制定框架(2013)
  10. Nehmeier,Marco:使用表达式模板的区间算术,模板元编程和即将到来的C++标准(2012)
  11. Spurek,P.;Tabor,Ja.:近似中凸函数条件的数值验证(2012)
  12. Markót,Mihály Csaba;Schichl,Hermann:区间全局优化方法的局部优化解算器的比较和自动选择(2011)
  13. Boissonnat,Jean-Daniel(编辑);Teillaud,Monique(编辑):曲线和曲面的有效计算几何(2007)
  14. 伯尼曼,赫尔维;梅尔奎恩,吉劳姆;皮昂,西尔文:Boost区间算术库的设计(2006)
  15. Martel,Matthieu:数值程序验证的语义概述(2005)