C-XSC 2.0版

用于扩展科学计算的C++类库。C-XSC库的原始版本大约有十年的历史了。但是在过去的十年里,底层编程语言C++得到了长足的发展。自1998年11月起,C++标准开始使用,越来越多的编译器支持(大部分)该标准的特性。新版C-xsc2.0符合本标准。为旧版本的C-XSC编写的应用程序必须进行修改才能与C-xsc2.0一起运行。几个示例将帮助用户了解必须进行哪些更改。注意,[R.Klatte et al.,C-XSC.中给出的所有样本代码。用于扩展科学计算的C++类库。柏林:springerverlag(1993;zbl0814.68035)]必须进行修改才能与C-xsc2.0正常工作。示例代码可在网页http://www.math.uni wuppertal.de/xsc/cxsc/examples上找到。


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

显示123个结果中的1到20个。
按年份排序(引文)

1 2 ... 5 6 7 下一个

  1. Bajaj,Ishan;Hasan,M.M.Faruque:使用边凹低估值的全局动态优化(2020)
  2. Castro,Angel;科尔多瓦,迭戈;Gómez Serrano,Javier:无粘SQG方程的全局光滑解(2020)
  3. Hoshi,Takeo;Ogita,Takeshi;Ozaki,Katsuhisa;Terao,Takeshi:大规模电子状态计算中广义实对称特征值问题的后验验证方法(2020)
  4. Gómez Serrano,Javier:PDE中的计算机辅助证明:调查(2019)
  5. Kulisch,Ulrich:区间算术的数学与速度。IEEE(IEEE 1788至2019补遗)
  6. Nepomuceno,Erivelton G.;Peixoto,Márcia L.C.;Martins,Samir A.M.;Rodrigues,Heitor M.Junior;Perc,Matjaž:使用区间算术的动力系统数值模拟中的不一致性(2018)
  7. Pacella,Filomena;Plum,Michael;Rütters,Dagmar:无界(L)形域上Emden方程的计算机辅助存在性证明(2017)
  8. Sainudiin,Raazesh;Welch,David:传输过程:网络传输树演化的组合随机过程(2016)
  9. Walter F.Mascarenhas:Moore:现代C++中的区间算术(2016)阿尔十四
  10. Mariana Kolberg;Bohlender,Gerd;Fernandes,Luiz Gustavo:一种有效的方法来解决在集群上进行验证计算的大型密集线性系统。(2015年)
  11. 卡斯特罗,安吉尔;科尔多瓦,迭戈;戈梅斯·塞拉诺,哈维尔;萨莫拉,阿尔贝托·马丁恩:关于SQG锐锋和(\alpha)斑块几何性质的评论(2014)
  12. Frommer,Andreas;Hashemi,Behnam;Sablik,Thomas:矩阵的平方根和符号函数的计算外壳(2014)
  13. Hölbig,Carlos A.;Do Carmo,Andriele;Arendt,Luis P.:多核处理器上的高精度和区间运算(2013)
  14. Kiel,Stefan;Luther,Wolfram;Dyllong,Eva:使用分层空间分解结构验证非凸超二次曲面之间的距离计算(2013)ioport公司
  15. Krämer,Walter:使用C-XSC的高性能验证计算(2013)
  16. Zimmer,Michael;Rebner,Gabor;Krämer,Walter:C-XSC作为区间算法的工具及其在计算Dempster-Shafer理论下验证的不确定概率模型中的应用概述(2013)ioport公司
  17. Dyllong,Eva;Kiel,Stefan:使用不同算法进行距离封闭的隐式对象验证距离计算的比较(2012)
  18. Frommer,Andreas;Hashemi,Behnam:Sylvester矩阵方程解的验证误差界(2012)
  19. Kiel,Stefan:使用隐式线性区间估计验证隐式对象的空间细分(2012)
  20. Krämer,Walter:C-XSC中的多/任意精度区间计算(2012)

1 2 ... 5 6 7 下一个