CAPD公司

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