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

1. 朝日，太西；田中、和崎；Oishi，Shin'ichi:有界域上Hénon方程非对称解的数值验证（2022）
2. 丘奇，凯文·E·M。；Duchesne，Gabriel William:脉冲时滞微分方程周期解的严格延拓（2022）
3. 康斯坦丁诺，凯文；加西亚-阿兹佩蒂，卡洛斯；Lessard，Jean-Philippe:库仑（（n+1））-体问题的空间相对平衡和周期解（2022）
4. 李哲；张春雷：实矩阵有缺陷特征值多重性支持的证明（2022）
5. 蔡，闭嘴；渡边，Yoshitaka:Kolmogorov问题对称破缺分岔点存在性的计算机辅助证明（2021）
6. 卡列亚，雷纳托；加西亚-阿兹佩蒂，卡洛斯；Lessard，让·菲利普；Mireles James，J.D.：（n）-身体问题中的圆环结编舞（2021）
7. 卡里佐萨，埃米利奥；Messine，Frédéric:全局鲁棒优化的区间分枝定界法（2021）
8. Church，Kevin E.M.：使用严格同伦延拓分析大流行关闭-重新开放周期：蒙特利尔COVID-19数据的案例研究（2021年）
9. Church，Kevin E.M.：特征值和延迟微分方程：周期系数，脉冲和严格数值（2021）
10. 丘奇，凯文·E·M。；Fortin，Clément:分析振动重力台球周期轨道的计算机辅助方法（2021）
11. 艾希费尔德，加布里埃尔；基斯特，彼得；孟，劳拉；Stein，Oliver:连续全局多目标优化的一般分支定界框架（2021）
12. 艾希费尔德，加布里埃尔；克拉姆罗斯，凯瑟琳；Niebling，Julia:基于过滤分枝定界的非凸约束优化（2021）
13. Füllner，基督教；基斯特，彼得；Stein，Oliver:非线性等式约束下全局极小化的收敛上界（2021）
14. 哈特曼，大卫；赫拉迪克，米兰；Říha，David:区间矩阵谱分解的计算与区间矩阵幂的研究（2021）
15. 兰格，马尔科；Rump，Siegfried M.：通过对Wedin（\sin（\theta））定理的推广，验证了指定秩亏的最近矩阵的包含（2021）
16. Lessard，让·菲利普；James，J.D.Mireles:时滞方程的严格隐式（C^1）Chebyshev积分（2021）
17. 刘雪峰；中岛，三桥。；你，春光；Oishi，Shin'ichi:Stokes方程有限元解的显式后验和先验误差估计（2021）
18. Miyajima，Shinya:两个矩阵几何平均值的验证计算（2021）
19. Miyajima，Shinya:不可约非负矩阵Perron对的快速验证（2021）
20. Miyajima，Shinya:矩阵Mittag-Leffler函数的计算外壳（2021）