C-XSC公司

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


zbMATH中的参考文献(参考文献108篇文章,3标准条款)

显示108个结果中的1到20个。
按年份排序(引用)
  1. 弗洛默,安德烈亚斯;Hashemi,Behnam:矩阵指数的计算外壳(2020)
  2. 和雄,武雄;奥吉塔、竹石;小崎、片实;Terao,Takeshi:大规模电子状态计算中广义实对称特征值问题的后验验证方法(2020)
  3. Coss,欧文;霍恩斯坦,乔纳森D。;洪,勋;Molzahn,Daniel K.:具有秩1耦合的Kuramoto模型的平衡点定位和计数(2018)
  4. 阿里巴哈雷夫;希奇,赫尔曼;Rév、 Endre:计算非中心-(F)分布和(F)-检验的幂,保证精度(2017)
  5. 蕨类植物á恩德斯,乔斯é; Tóth,博格árka G。;雷东多,胡安娜L。;奥提戈萨,皮拉尔M。;阿隆多,阿隆多ánzazu-Gila:多确定性选择规则下的平面单设施竞争选址与设计问题(2017)
  6. 米特里亚,伊琳娜;奥特,凯瑟琳;Tucker,Warwick:与Lam相关的奇异积分算子的可逆性é 二维无限扇区上的Stokes系统(2017)
  7. 囊,丝状体;梅子,迈克尔;RüTerrs,Dagmar:无界(L)形域上Emden方程的计算机辅助存在性证明(2017)
  8. 哈罗,À法;卡纳德尔,玛尔塔;菲格拉斯,乔迪·卢ís;卢克,亚历杭德罗;Mondelo,Josep Maria:不变流形的参数化方法。从严格的结果到有效的计算(2016)
  9. 劳厄,安德烈亚斯;森克尔,路易斯;克斯滕,茱莉亚;Aschemann,Harald:使用基于区间滑动模态技术的高温燃料电池系统的可靠控制(2016)
  10. 马里亚纳,科尔伯格;格伦德,波伦德;Fernandes,Luiz Gustavo:一种在群集上验证计算的大型稠密线性系统的有效方法(2015年)
  11. 阿伦多,A。G、 。;蕨类植物á恩德斯,J。;雷东多,J。五十、 。;奥尔提戈萨,P。M、 :使用多核系统解决可变需求竞争选址问题的方法(2014)
  12. Bá你好,巴尔ázs公司;塞恩德斯,提博;克里斯汀,提博;Neumaier,Arnold:Wright方程零解的全局吸引性(2014)
  13. 弗洛默,安德烈亚斯;比南哈希米;Sablik,Thomas:矩阵的平方根和符号函数的计算外壳(2014)
  14. 法国古阿拉德édé里克:你怎么计算一个区间的中点(2014年)
  15. 劳厄,安德烈亚斯;森克尔,路易斯;奥尔,叶卡捷琳娜;Aschemann,Harald:固体氧化物燃料电池系统实时鲁棒控制的区间方法(2014)
  16. 森克尔,路易斯;劳厄,安德烈亚斯;Aschemann,Harald:鲁棒轨迹跟踪以及状态和参数估计的滑模技术(2014)
  17. Hölbig,卡洛斯A。;做卡莫,安德里尔;Arendt,Luis P.:多核处理器上的高精度和区间运算(2013)
  18. 克朗ämer,Walter:使用C-XSC的高性能验证计算(2013)
  19. 齐默,迈克尔;雷布纳,加博;克朗ämer,Walter:C-XSC作为区间算法的工具及其在Dempster-Shafer理论下计算验证不确定概率模型中的应用(2013)ioport公司
  20. 戴隆,伊娃;Kiel,Stefan:range enclosure使用不同算法的隐式对象之间验证距离计算的比较(2012)