zbMATH中的参考文献（参考文献77条)

1. 范登伯格，简布韦；格罗塞德，克里斯；Lessard，Jean-Philippe:时滞微分问题周期解的计算机辅助证明的一般方法（2022）
2. 芭莎，费伦茨A。；克里斯汀，提博；Vígh，Alexandra:Mackey-Glass方程的稳定周期轨道（2021）
3. Gierzkiewicz，Anna:折叠毛巾地图Smale马蹄铁存在的计算机辅助证明（2021）
4. 吉尔兹基维茨，安娜；Zgliczynèski，Piotr:Rössler系统中的周期轨道（2021）
5. 卡利塔，皮奥特；Zgliczynèski，Piotr:一维Burgers方程的严格有限元法（2021）
6. 卡佩拉，托马斯；罗泽克先生，玛丽安；丹尼尔，威尔查克；Zgliczynski，Piotr:CAPD:：DynSys:用于动态系统严格数值分析的灵活C++工具箱（2021）
7. 梅尼尼，劳拉；科拉多，波塞里；托纳姆，安东尼奥：动态区间牛顿法（2021）
8. 范登伯格，简布韦；Queirolo，Elena:多项式ODE系统中周期轨道延拓的一般框架（2021）
9. 范登伯格，简布韦；Sheombarsing，Ray:使用切比雪夫级数和区域分解的ODE严格数值计算（2021）
10. 贝卡，安德烈亚；费雷特，杰罗姆；Petrov，Tatjana:生物化学反应网络的热带抽象（2020）
11. 斯卡拉姆西亚，萨拉；尤里奇，费德里科；德弗洛里亚尼，莱拉；Landi，Claudia:通过基于离散Morse的方法计算多参数持久同源性（2020）
12. 丹尼尔，威尔查克；Zgliczynski，Piotr:无限维混沌的几何方法：Kuramoto-Sivashinsky PDE在线符号动力学（2020）
13. 贝尔布鲁诺，爱德华；弗劳恩费尔德，乌斯；van Koert，Otto:三维月球问题中的周期轨道族（2019）
14. 加利亚斯，兹比涅夫；Tucker，Warwick:螺旋鞍周围光滑向量场的严格积分及其对立方蔡氏吸引子的应用（2019）
15. 吉尔兹基维茨，安娜；Zgliczynèski，Piotr:Hyperion旋转中符号动力学的计算机辅助证明（2019）
16. 索戈孔，安德鲁；杰克逊，保罗B。；Johnson，Taylor T.：使用流管和连续不变量验证混合系统的安全性和持久性（2019）
17. 巴尔萨斯，伊斯特万；范登伯格，简布韦；科托瓦，朱利安；达达斯，杰诺斯；Lessard，让·菲利普；Vörös-Kiss，阿内特；威廉姆斯，J.F。；尹锡元：偏微分方程径向对称解的计算机辅助证明（2018）
18. 布雷登，马克西姆；Lessard，Jean-Philippe:非线性ODE中计算机辅助证明的多项式插值和先验引导（2018）
19. 威廉·D·卡利斯。；卡斯蒂，迪内什；Vandervorst，Robert:动力学中格和序的算法方法（2018）
20. 罗侯，西蒙；焦林，吕克；米哈伊洛娃，柳德米拉；勒巴尔斯，法布里斯；Veres，Sandor M.：涉及时间不确定性的可靠非线性状态估计（2018）