C-XSC 2.0版

此软件的关键字
zbMATH中的参考文献(参考文献 127篇文章 , 1标准件 )
卡里佐萨,埃米利奥; Messine,Frédéric:全局鲁棒优化的区间分枝定界法(2021) Markót,Mihály Csaba:求解单位正方形中圆形填充问题的改进区间方法(2021) 彼得龙,乔瓦尼; 斯帕格诺洛,乔瓦尼; 赞博尼,沃尔特; Siano,Raffaele:基于区间算法的燃料电池阻抗参数辨识的改进数学方法(2021) 巴贾吉,伊山; Hasan,M.M.Faruque:使用边凹估计量的全局动态优化(2020) 卡斯特罗,天使; 科尔多瓦,迭戈; Gómez Serrano,Javier:无粘SQG方程的全局光滑解(2020) 弗洛默,安德烈亚斯; Hashemi,Behnam:矩阵指数的计算外壳(2020) 和雄,武雄; 奥吉塔、竹石; 小崎、片实; Terao,Takeshi:大规模电子状态计算中广义实对称特征值问题的后验验证方法(2020) Gómez Serrano,Javier:PDE中的计算机辅助证明:调查(2019) Kulisch,Ulrich:区间算术的数学和速度:对IEEE 1788(2019)的补充 尼波穆塞诺,埃里夫顿G。; 佩克索托,马尔西亚L.C。; 马丁斯,萨米尔·A·M。; 罗德里格斯,海托·M·朱尼尔; Perc,Matjaž:使用区间算法的动力系统数值模拟中的不一致性(2018) 囊,丝状体; 梅子,迈克尔; Rütters,Dagmar:无界(L)形域上Emden方程的计算机辅助存在性证明(2017) 塞努迪因,拉塞什; 韦尔奇,大卫:《传输过程:网络传输树演化的组合随机过程》(2016) Walter F.Mascarenhas:Moore:现代C++中的区间算术(2016) 阿尔十四 马里亚纳,科尔伯格; 波伦德,格尔德; Fernandes,Luiz Gustavo:一种在群集上验证计算的大型稠密线性系统的有效方法。 (2015年) 卡斯特罗,天使; 科尔多瓦,迭戈; 戈梅斯塞拉诺,哈维尔; Zamora,Alberto Martín:关于SQG锐锋和(\alpha)-斑块的几何特性的评论(2014) 弗洛默,安德烈亚斯; 比南哈希米; Sablik,Thomas:矩阵的平方根和符号函数的计算外壳(2014) 赫尔比格,卡洛斯A。; 做卡莫,安德里尔; Arendt,Luis P.:多核处理器上的高精度和区间运算(2013) 基尔,斯特凡; 路德,沃尔夫拉姆; Dyllong,Eva:使用分层空间分解结构验证非凸超二次曲面之间的距离计算(2013) ioport公司 Krämer,Walter:使用C-XSC的高性能验证计算(2013) 齐默,迈克尔; 雷布纳,加博; Krämer,Walter:C-XSC作为区间算法的工具及其在Dempster-Shafer理论下计算验证不确定概率模型中的应用概述(2013) ioport公司