菲利布++

filib++是间隔库filib的扩展。后者最重要的目的是快速计算一组初等函数的区间版本的保证界。filib++从两个方面扩展了这个库。首先,它添加了第二种模式,即“扩展”模式,该模式使用特殊值来表示IEEE浮点标准754中已知的无穷大和NotNumber,从而扩展了无异常计算模式。在这种模式下,计算所谓的包含集来封闭定义在区间上的函数范围的拓扑闭包。其次,最先进的设计使用模板和traits类来获得一个高效、易于扩展和可移植的库,完全符合C++标准


zbMATH中的参考文献(参考文献42条)

显示第1到第20个结果,共42个。
按年份排序(引用)
  1. 邦加茨,多米尼克;纳吉曼,雅罗米;Mitsos,Alexander:使用IAPWS-IF97模型对蒸汽循环进行确定性全局优化(2020年)
  2. 蒙塔赫,蒂亚戈;纽梅尔,阿诺德;玛克特,米哈利克萨巴;穹顶,费伦茨;Schichl,Hermann:将单位正方形严格打包成圆形(2019)
  3. 施魏特曼,阿图尔M。;Mitsos,Alexander:嵌入人工神经网络的确定性全局优化(2019)
  4. 朱德尔,雨果;佛罗伦萨,蒂亚德:利用多区间约束传播求解机车车辆管理问题的贪婪方法。使用多区间约束传播求解机车车辆管理问题的贪婪方法,2014年ROADEF/EURO challenge 2014(2018年)
  5. 古堡,埃里克;普托,西尔维:非线性连续系统的前向内近似可达性(2017)
  6. 米特里亚,伊琳娜;奥特,凯瑟琳;Tucker,Warwick:二维无限扇区上与Lamé和Stokes系统相关的奇异积分算子的可逆性(2017)
  7. Ninin,Jordan:基于承包商编程的全局优化:IBEX库概述(2016)
  8. 维斯马拉,菲利普;科莱塔,雷米;Trombettoni,Gilles:葡萄酒混合的约束全局优化(2016)
  9. 沃尔特F。马斯卡伦哈斯:摩尔:现代C++中的区间算术(2016)第十四章
  10. 西玛洛夫,费多;Zuliani,Paolo:ProbReach:随机混合系统的验证概率δ可达性(2015)
  11. 德拉诺,尼古拉;Lagrange,Sébastien:计算光滑映射从(\mathbbR^2)到(\mathbbR^2)表观轮廓拓扑的数值方法(2014)
  12. 你怎么计算中段(2014年)
  13. 杰泽奎,法比安;兰洛伊斯,菲利普;Revol,Nathalie:迈向更高数值再现性的第一步(2014)
  14. 基尔克奇耶夫,尼古拉;Iliev,Anton:求解线性方程组的一些超松弛算法的改进(2013)
  15. 戈列夫,天使;玛丽诺娃,安娜;Zaharieva,Deislava:求解线性方程组迭代算法修改的软件实现(2012)
  16. Nehmeier,Marco:使用表达式模板的区间算术,模板元编程和即将到来的C++标准(2012)
  17. Krämer,Walter:计算机辅助证明和符号计算(2010)
  18. Neher,Markus:昂贵的C++类库中的复杂包含函数(2010)
  19. 波波娃,叶甫根尼娅D。;Krämer,Walter:从Mathematica到C-XSC的函数表达式通信(2010)
  20. Smith,Andrew Paul:稀疏多项式常数界函数的快速构造(2009)