zbMATH中的参考文献（参考文献439篇,1标准件)

1. 蔡，闭嘴；渡边，Yoshitaka:Kolmogorov问题对称破缺分岔点存在性的计算机辅助证明（2021）
2. 卡列亚，雷纳托；加西亚-阿兹佩蒂，卡洛斯；Lessard，让·菲利普；Mireles James，J.D.：（n）-身体问题中的圆环结编舞（2021）
3. 丘奇，凯文·E·M。；Fortin，Clément:分析振动重力台球周期轨道的计算机辅助方法（2021）
4. 艾希费尔德，加布里埃尔；基斯特，彼得；孟，劳拉；Stein，Oliver:连续全局多目标优化的一般分支定界框架（2021）
5. 艾希费尔德，加布里埃尔；克拉姆罗斯，凯瑟琳；Niebling，Julia:基于过滤分枝定界的非凸约束优化（2021）
6. Füllner，基督教；基斯特，彼得；Stein，Oliver:非线性等式约束下全局极小化的收敛上界（2021）
7. 兰格，马尔科；Rump，Siegfried M.：通过对Wedin（\sin（\theta））定理的推广，验证了指定秩亏的最近矩阵的包含（2021）
8. Miyajima，Shinya:两个矩阵几何平均值的验证计算（2021）
9. 宫岛真二：矩阵实幂的验证计算（2021）
10. Miyajima，Shinya:矩阵Mittag-Leffler函数的计算外壳（2021）
11. 桑德，伊芙琳；Wanner，Thomas:基于Sobolev嵌入的模式形成模型的平衡验证（2021）
12. 提提，圣战；Garloff，Jürgen:矩形区域上复多项式范围的界（2021）
13. 范登伯格，简布韦；布雷登，马克西姆；Lessard，让·菲利普；van Veen，Lennaert:Navier-Stokes流中的自发周期轨道（2021）
14. 范登伯格，简布韦；Queirolo，Elena:多项式ODE系统中周期轨道延拓的一般框架（2021）
15. Yamamura，Kiyotaka:用平行四边形LP检验求非线性方程组所有解的有效算法（2021）
16. 阿拉玛，伊冯·布朗萨；Lessard，Jean-Philippe:带吸收的Kuramoto-Sivashinsky方程中的行波振荡模式（2020）
17. 奥伦茨，贾里德·L。；Hashemi，Behnam:Laurent-Horner方法对Chebyshev展开式的有效评估（2020）
18. 巴贾吉，伊山；Hasan，M.M.Faruque:使用边凹估计量的全局动态优化（2020）
19. 班赫莱伊，巴尔萨斯；塞恩德斯，提博；哈特瓦尼，László：关于阻尼强迫摆的不稳定上限环的存在性和稳定性（2020）
20. 波佐格曼尼什，哈桑；哈贾里安，马苏德；Chronopoulos，Anthony Theodore:区间张量及其在求解多线性方程组中的应用（2020）