CAPD公司

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


数学参考文献

显示第1到第20个结果,共63个。
按年份排序(引用)
  1. Daniel Wilczak;Zgliczynski,Piotr:无限维混沌的几何方法:Kuramoto-Sivashinsky PDE在线符号动力学(2020)
  2. Galias,Zbigniew;Tucker,Warwick:螺旋鞍周围光滑向量场的严格积分及其对立方蔡氏吸引子的应用(2019)
  3. Andrew Sogokon;Jackson,Paul B.;Johnson,Taylor T.:使用流管和连续不变量验证混合系统中的安全性和持久性(2019年)
  4. 巴尔茨,伊斯特万;范登伯格,扬·布韦;考托伊斯,朱利安;杜达斯,János;莱萨尔,让-菲利普;Vörös-Kiss,阿内特;威廉姆斯,J.F.;尹锡元:偏微分方程径向对称解的计算机辅助证明(2018)
  5. Breden,Maxime;Lessard,Jean-Philippe:非线性ODE中计算机辅助证明的多项式插值和先验引导(2018)
  6. Kalies,William D.;Kasti,Dinesh;Vandervorst,Robert:动力学中晶格和秩序的算法方法(2018)
  7. Rohou,Simon;Jaulin,Luc;Mihaylova,Lyudmila;Le Bars,Fabrice;Veres,Sandor M.:涉及时间不确定性的可靠非线性状态估计(2018)
  8. Szczelina,Robert;Zgliczynèski,Piotr:Mackey-Glass方程中延迟微分方程的严格积分算法和周期轨道的计算机辅助证明(2018)
  9. van den Bert,Jan Bouwe:动力学中的严格数值介绍:一般函数分析设置和一个强迫混沌的例子(2018)
  10. Villegas Pico,Hugo Nestor;Aliprantis,Dionysios C.:具有恒定、任意和Lipschitz连续输入的线性动态系统的可达性分析(2018)
  11. Figueras,J.-Ll.;Haro,A.;Luque,A.:KAM理论的严格计算机辅助应用:现代方法(2017)
  12. Galias,Zbigniew:二次映射正则参数集的宽周期窗口和界的系统搜索(2017)
  13. 冈萨雷斯·洛伦佐(Aldo);巴茨(Bac),亚历山德拉(Alexandra);马里(Mari),让-吕克(Jean-Luc);雷亚尔(Real),佩德罗:离散莫尔斯理论中的允许循环(2017)
  14. 黄振奇;范楚初;米特拉,萨扬:时滞非线性网络动力系统的有界不变验证(2017)
  15. Kamela-szsim周期性系统的严格结果
  16. 安娜,贝洛瓦:用区间法对旋转数进行严格的封闭(2016年)
  17. Czehowski,Aleksander;Zgliczynèski,Piotr:小参数显式范围内Fitzhugh-Nagumo方程周期解的存在性(2016)
  18. Gonzalez Lorenzo,Aldo;Juda,Mateusz;Bac,Alexandra;Mari,Jean-Luc;Real,Pedro:三维立体复合物上Betti数的快速、简单和可分离计算(2016)
  19. Harker,Shaun;Kokubu,Hiroshi;Mishaikow,Konstantin;Pilarczyk,Paweł:从通信中归纳出同源映射(2016)
  20. Haro,Àlex;Canadell,Marta;Figueras,Jordi Lluís;Luque,Alejandro;Mondelo,Josep Maria:不变流形的参数化方法。从严格的结果到有效的计算(2016)