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

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）