C-XSC公司

C-XSC。用于验证科学计算和数值数据处理的编程环境。C-XSC是一种用于开发数值算法的工具,可提供高精度和自动验证的结果。它提供了大量预定义的数值数据类型和运算符。这些类型被实现为C++类。因此,C-XSC允许在C和C++中对数值应用程序进行高级编程。C-XSC包可用于所有使用C++编译器翻译AT&T语言标准2.0的计算机。


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

显示106个结果中的1到20个。
按年份排序(引用)
  1. Hoshi,Takeo;Ogita,Takeshi;Ozaki,Katsuhisa;Terao,Takeshi:大规模电子状态计算中广义实对称特征值问题的后验验证方法(2020)
  2. Coss,Owen;Hauenstein,Jonathan D.;Hong,Hoon;Molzahn,Daniel K.:具有秩1耦合的Kuramoto模型的平衡点定位和计数(2018)
  3. Baharev,Ali;Schichl,Hermann;Rév,Endre:计算非中心-(F)分布和(F)检验的幂,保证精度(2017)
  4. Fernández,José;Tóth,Boglárka G.;Redondo,Juana L.;Ortigosa,Pilar M.;Arrondo,Aránzazu Gila:多确定性选择规则下的平面单设施竞争选址和设计问题(2017)
  5. Mitrea,Irina;Ott,Katharine;Tucker,Warwick:二维无限扇区上与Lamé和Stokes系统相关的奇异积分算子的可逆性(2017)
  6. Pacella,Filomena;Plum,Michael;Rütters,Dagmar:无界(L)形域上Emden方程的计算机辅助存在性证明(2017)
  7. Haro,Àlex;Canadell,Marta;Figueras,Jordi Lluís;Luque,Alejandro;Mondelo,Josep Maria:不变流形的参数化方法。从严格的结果到有效的计算(2016)
  8. Rauh,Andreas;Senkel,Luise;Kersten,Julia;Aschemann,Harald:使用基于区间的滑模技术的高温燃料电池系统的可靠控制(2016)
  9. Mariana Kolberg;Bohlender,Gerd;Fernandes,Luiz Gustavo:一种有效的方法来解决在集群上进行验证计算的大型密集线性系统。(2015年)
  10. Arrondo,A.G.;Fernández,J.;Redondo,J.L.;Ortigosa,P.M.:一种使用多核系统解决可变需求竞争选址问题的方法(2014年)
  11. Bánhelyi,Balázs;Csendes,Tibor;Krisztin,Tibor;Neumaier,Arnold:Wright方程零解的全局吸引力(2014)
  12. Frommer,Andreas;Hashemi,Behnam;Sablik,Thomas:矩阵的平方根和符号函数的计算外壳(2014)
  13. 古阿拉德:如何计算区间的中点?(2014年)
  14. 固体燃料电池(固体燃料电池)的可靠控制方法;固体燃料电池(固体燃料电池)的方法
  15. Senkel,Luise;Rauh,Andreas;Aschemann,Harald:鲁棒轨迹跟踪以及状态和参数估计的滑模技术(2014)
  16. Hölbig,Carlos A.;Do Carmo,Andriele;Arendt,Luis P.:多核处理器上的高精度和区间运算(2013)
  17. Krämer,Walter:使用C-XSC的高性能验证计算(2013)
  18. Zimmer,Michael;Rebner,Gabor;Krämer,Walter:C-XSC作为区间算法的工具及其在计算Dempster-Shafer理论下验证的不确定概率模型中的应用概述(2013)ioport公司
  19. Dyllong,Eva;Kiel,Stefan:使用不同算法进行距离封闭的隐式对象验证距离计算的比较(2012)
  20. Frommer,Andreas;Hashemi,Behnam:Sylvester矩阵方程解的验证误差界(2012)