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

1. 朝日，太西；田中、和崎；Oishi，Shin'ichi:有界域上Hénon方程非对称解的数值验证（2022）
2. 丘奇，凯文·E·M。；Duchesne，Gabriel William:脉冲时滞微分方程周期解的严格延拓（2022）
3. 康斯坦丁诺，凯文；加西亚-阿兹佩蒂，卡洛斯；Lessard，Jean-Philippe:库仑（（n+1））-体问题的空间相对平衡和周期解（2022）
4. 杰奎特，乔纳森；Lessard，让·菲利普；Takayasu，Akitoshi:非保守非线性薛定谔方程的全局动力学（2022）
5. 杰奎特，乔纳森；Lessard，让·菲利普；Takayasu，Akitoshi:具有二次非线性的复值演化方程的奇点和异宿联系（2022）
6. 刘雪峰；中岛，三桥。；Oishi，Shin'ichi:三维区域上Navier-Stokes方程平稳解存在性的计算机辅助证明（2022）
7. 李哲；张春雷：实矩阵有缺陷特征值多重性支持的证明（2022）
8. 宫岛真二：矩阵伽马函数的验证计算（2022）
9. Miyajima，Shinya:（\mathcalM）-张量多线性系统正解和一类弱不可约非负张量的Perron向量的快速验证计算（2022）
10. 罗泽克先生，玛丽安；斯泽德尼基，罗马人；索普，贾斯汀；万纳，托马斯：组合动力学与经典动力学：重现（2022）
11. 尼塔，科奇；山本信孝；Matsue，Kaname:指定同宿轨道作为局部Lyapunov函数应用的数值验证方法（2022）
12. 田中、和崎；Asai，Taisei:椭圆边值问题解正性的后验检验（2022）
13. 田中、和崎；梅子，迈克尔；塞金，库塔；Kashiwagi，Masahide；Oishi，Shin'ichi:带次方指数的Lane-Emden方程正解的严格数值封闭（2022）
14. 范登伯格，简布韦；格罗塞德，克里斯；Lessard，Jean-Philippe:时滞微分问题周期解的计算机辅助证明的一般方法（2022）
15. 范登伯格，简布韦；Queirolo，Elena:Kuramoto-Sivashinsky PDE中Hopf分叉的严格验证（2022）
16. 布雷登，马克西姆；克莱尔，查奈斯·希尔莱雷特；Zurek，Antoine:扩散-泊松耦合模型行波解的存在性：计算机辅助证明（2021）
17. 蔡，闭嘴；渡边，Yoshitaka:Kolmogorov问题对称破缺分岔点存在性的计算机辅助证明（2021）
18. 卡列亚，雷纳托；加西亚-阿兹佩蒂，卡洛斯；Lessard，让·菲利普；Mireles James，J.D.：（n）-身体问题中的圆环结编舞（2021）
19. 卡里佐萨，埃米利奥；Messine，Frédéric:全局鲁棒优化的区间分枝定界法（2021）
20. Church，Kevin E.M.：特征值和延迟微分方程：周期系数，脉冲和严格数值（2021）