C-XSC公司

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