zbMATH参考文献（52篇文章引用）

1. Galias，Zbigniew；Tucker，Warwick:螺旋鞍周围光滑向量场的严格积分及其对立方蔡氏吸引子的应用（2019）
2. 安得鲁·约翰逊（Andrew Johnson）和不变量（Constinuous Pipes）；《使用泰勒·约翰逊（Taylor Johnson）和Constructive Pipes（Paul Johnson，2019）验证安全性》（Constinuous Pipes and Conservative Pipes）；保罗·约翰逊（Andrew Johnson）和《
3. 巴尔茨，伊斯特万；范登伯格，扬·布韦；考托伊斯，朱利安；杜达斯，János；莱萨尔，让-菲利普；Vörös-Kiss，阿内特；威廉姆斯，J.F.；尹锡元：偏微分方程径向对称解的计算机辅助证明（2018）
4. Kalies，William D.；Kasti，Dinesh；Vandervorst，Robert:动力学中晶格和秩序的算法方法（2018）
5. Rohou，Simon；Jaulin，Luc；Mihaylova，Lyudmila；Le Bars，Fabrice；Veres，Sandor M.：涉及时间不确定性的可靠非线性状态估计（2018）
6. Szczelina，Robert；Zgliczynèski，Piotr:Mackey-Glass方程中延迟微分方程的严格积分算法和周期轨道的计算机辅助证明（2018）
7. Villegas Pico，Hugo Nestor；Aliprantis，Dionysios C.：具有恒定、任意和Lipschitz连续输入的线性动态系统的可达性分析（2018）
8. Figueras，J.-Ll.；Haro，A.；Luque，A.：KAM理论的严格计算机辅助应用：现代方法（2017）
9. Galias，Zbigniew:二次映射正则参数集的宽周期窗口和界的系统搜索（2017）
10. 冈萨雷斯·洛伦佐（Aldo）；巴茨（Bac），亚历山德拉（Alexandra）；马里（Mari），让-吕克（Jean-Luc）；雷亚尔（Real），佩德罗：离散莫尔斯理论中的允许循环（2017）
11. Kapela，Tomasz；Simó，Carles:关于哈密顿系统任意周期轨道的严格KAM结果（2017）
12. 安娜，贝洛瓦：用区间法对旋转数进行严格的封闭（2016年）
13. Czehowski，Aleksander；Zgliczynèski，Piotr:小参数显式范围内Fitzhugh-Nagumo方程周期解的存在性（2016）
14. 三维可分离数；三维可分离数；三维可分离数；三维可分离数；三维可分离数
15. Haro，Àlex；Canadell，Marta；Figueras，Jordi Lluís；Luque，Alejandro；Mondelo，Josep Maria:不变流形的参数化方法。从严格的结果到有效的计算（2016）
16. Miyaji，Tomoyuki；Pilarczyk，Paweł；Gameiro，Marcio；Kokubu，Hiroshi；Mishaikow，Konstantin:多尺度面向集合计算的严格ODE积分器研究（2016）
17. van den Berg，Jan Bouwe；Mireles James，Jason D.；Reinhardt，Christian:带验证误差边界的计算（un）稳定流形：非共振和共振谱（2016）
18. Walawska，Irmina；Wilczak，Daniel:ODE变分方程解的有效封闭的隐式算法（2016）
19. Weilandt，Frank；Mrozek，Marian；Mischaikow，Konstantin：计算Conley指数和Morse流量分解的离散化策略（2016）
20. Daniel Wilczak；Serrano，Sergio；Barrio，Roberto:4D Rössler系统中超混沌与混沌的共存与动力学联系：计算机辅助证明（2016）