C-XSC公司

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


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

显示第1到第20个结果,共110个。
按年份排序(引用)
  1. 卡里佐萨,埃米利奥;Messine,Frédéric:全局鲁棒优化的区间分枝定界法(2021)
  2. 彼得龙,乔瓦尼;斯帕格诺洛,乔瓦尼;赞博尼,沃尔特;Siano,Raffaele:基于区间算法的燃料电池阻抗参数辨识的改进数学方法(2021)
  3. 弗洛默,安德烈亚斯;Hashemi,Behnam:矩阵指数的计算外壳(2020)
  4. 和雄,武雄;奥吉塔、竹石;小崎、片实;Terao,Takeshi:大规模电子状态计算中广义实对称特征值问题的后验验证方法(2020)
  5. Coss,欧文;霍恩斯坦,乔纳森D。;洪,勋;Molzahn,Daniel K.:具有秩1耦合的Kuramoto模型的平衡点定位和计数(2018)
  6. 阿里巴哈雷夫;希奇,赫尔曼;Rév,Endre:计算非中心-(F)分布和(F)-检验的幂,保证精度(2017)
  7. 费尔南德斯,何塞;托斯,波哥大。;雷东多,胡安娜L。;奥提戈萨,皮拉尔M。;Arrondo,Aránzazu Gila:多确定性选择规则下的平面单设施竞争选址和设计问题(2017)
  8. 米特里亚,伊琳娜;奥特,凯瑟琳;Tucker,Warwick:二维无限扇区上与Lamé和Stokes系统相关的奇异积分算子的可逆性(2017)
  9. 囊,丝状体;梅子,迈克尔;Rütters,Dagmar:无界(L)形域上Emden方程的计算机辅助存在性证明(2017)
  10. 哈罗·莱克斯;卡纳德尔,玛尔塔;菲格拉斯,乔迪·洛伊斯;卢克,亚历杭德罗;Mondelo,Josep Maria:不变流形的参数化方法。从严格的结果到有效的计算(2016)
  11. 劳厄,安德烈亚斯;森克尔,路易斯;克斯滕,茱莉亚;Aschemann,Harald:使用基于区间滑动模态技术的高温燃料电池系统的可靠控制(2016)
  12. 马里亚纳,科尔伯格;波伦德,格尔德;Fernandes,Luiz Gustavo:一种在群集上验证计算的大型稠密线性系统的有效方法。(2015年)
  13. 阿伦多,A.G。;费尔南德斯,J。;雷东多,J.L。;Ortigosa,P.M.:利用多核系统解决需求可变的竞争选址问题的方法(2014)
  14. 班赫莱伊,巴尔萨斯;塞恩德斯,提博;克里斯汀,提博;Neumaier,Arnold:Wright方程零解的全局吸引性(2014)
  15. 弗洛默,安德烈亚斯;哈希姆,哈希米;Sablik,Thomas:矩阵的平方根和符号函数的计算外壳(2014)
  16. 古阿拉德:如何计算区间的中点?(2014年)
  17. 劳厄,安德烈亚斯;森克尔,路易斯;奥尔,叶卡捷琳娜;Aschemann,Harald:固体氧化物燃料电池系统实时鲁棒控制的区间方法(2014)
  18. 森克尔,路易斯;劳厄,安德烈亚斯;Aschemann,Harald:鲁棒轨迹跟踪以及状态和参数估计的滑模技术(2014)
  19. 赫尔比格,卡洛斯A。;做卡莫,安德里尔;Arendt,Luis P.:多核处理器上的高精度和区间运算(2013)
  20. Krämer,Walter:使用C-XSC的高性能验证计算(2013)