CAPD公司

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


zbMATH参考文献(52篇文章引用)

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