CAPD公司

软件库,旨在提供一套灵活的C++模块,为动态系统中严格的数值计算而设计。CAPD库是一个灵活的C++模块的集合,主要用于计算集合和映射的同调性,以及动态系统的非严格有效的数值计算。它是根据GNU GPL许可证的条款分发的。


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

显示第1到第20个结果,共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)