菲利布++

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


zbMATH参考文献(42篇文章引用)

显示第1到第20个结果,共42个。
按年份排序(引用)
  1. Bongartz,Dominik;Najman,Jaromił;Mitsos,Alexander:使用IAPWS-IF97模型对蒸汽循环进行确定性全局优化(2020年)
  2. Montanher,Tiago;Neumaier,Arnold;Markót,Mihály Csaba;Domes,Ferenc;Schichl,Hermann:将单位正方形严格打包成圆形(2019年)
  3. Schweidtmann,Artur M.;Mitsos,Alexander:嵌入人工神经网络的确定性全局优化(2019)
  4. 雨果,朱德瑞;佛罗伦萨,蒂亚德:使用多区间约束传播求解机车车辆管理问题的贪婪方法。使用多区间约束传播求解机车车辆管理问题的贪婪方法,2014年ROADEF/EURO challenge 2014(2018年)
  5. Goubault,Eric;Putot,Sylvie:非线性连续系统的前向内近似可达性(2017)
  6. Mitrea,Irina;Ott,Katharine;Tucker,Warwick:二维无限扇区上与Lamé和Stokes系统相关的奇异积分算子的可逆性(2017)
  7. Ninin,Jordan:基于承包商编程的全局优化:IBEX库概述(2016)
  8. Vismara,Philippe;Coletta,Remi;Trombettoni,Gilles:葡萄酒混合的约束全局优化(2016)
  9. Walter F.Mascarenhas:Moore:现代C++中的区间算术(2016)阿尔十四
  10. Shmarov,Fedor;Zuliani,Paolo:ProbReach:随机混合系统的验证概率δ可达性(2015)
  11. Delanoue,Nicolas;Lagrange,Sébastien:从(\mathbbR^2)到(\mathbbR^2)的光滑映射表观轮廓拓扑的数值计算方法(2014)
  12. 古阿拉德:如何计算区间的中点?(2014年)
  13. Jézéquel,Fabienne;Langlois,Philippe;Revol,Nathalie:迈向更高数值再现性的第一步(2014)
  14. Kyurkchiev,Nikolay;Iliev,Anton:求解线性方程组的一些超松弛算法的改进(2013)
  15. Golev,Angel;Malinova,Anna;Zaharieva,Deislava:求解线性方程组迭代算法修改的软件实现(2012)
  16. Nehmeier,Marco:使用表达式模板的区间算术,模板元编程和即将到来的C++标准(2012)
  17. Krämer,Walter:计算机辅助证明和符号计算(2010)
  18. Neher,Markus:昂贵的C++类库中的复杂包含函数(2010)
  19. Popova,Evgenija D.;Krämer,Walter:将函数表达式从Mathematica传递到C-XSC(2010)
  20. Smith,Andrew Paul:稀疏多项式常数界函数的快速构造(2009)