zbMATH中的参考文献（参考，3标准条款)

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