CAPD∷DynSys: A flexible C++ toolbox for rigorous numerical analysis of dynamical systems

Kapela Tomasz; Mrozek Marian; Wilczak Daniel; Zgliczynski Piotr

首页> 外文期刊>Communications in Nonlinear Science and Numerical Simulation >CAPD∷DynSys: A flexible C++ toolbox for rigorous numerical analysis of dynamical systems

【24h】

CAPD∷DynSys: A flexible C++ toolbox for rigorous numerical analysis of dynamical systems

机译：CAPDC∷（CONCAL CONDYSYS）：一种灵活的C ++工具箱，用于动力系统的严格数值分析

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

We present the CAPD::DynSys library for rigorous numerical analysis of dynamical systems. The basic interface is described together with several interesting case studies illustrating how it can be used for computer-assisted proofs in dynamics of ODEs. (c) 2021 Elsevier B.V. All rights reserved.

著录项

来源
《Communications in Nonlinear Science and Numerical Simulation》 |2021年第10期|105578.1-105578.18|共18页
作者
Kapela Tomasz; Mrozek Marian; Wilczak Daniel; Zgliczynski Piotr;
展开▼
作者单位

Jagiellonian Univ Fac Math & Comp Sci Lojasiewicza 6 PL-30348 Krakow Poland;

Jagiellonian Univ Fac Math & Comp Sci Lojasiewicza 6 PL-30348 Krakow Poland;

Jagiellonian Univ Fac Math & Comp Sci Lojasiewicza 6 PL-30348 Krakow Poland;

Jagiellonian Univ Fac Math & Comp Sci Lojasiewicza 6 PL-30348 Krakow Poland;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
Rigorous numerical analysis; C plus plus library; Computer-assisted proof;

机译：严格的数值分析;C加上图书馆;计算机辅助证明;

相似文献

外文文献
中文文献
专利

1. The numerical template toolbox: A modern C++ design for scientific computing [J] . Pierre Esterie, Joel Falcou, Mathias Gaunard, Journal of Parallel and Distributed Computing . 2014,第12期

机译：数值模板工具箱：用于科学计算的现代C ++设计
2. Topological Approach to Rigorous Numerics of Chaotic Dynamical Systems with Strong Expansion of Error Bounds [J] . Mrozek M, Srzednicki R Foundations of computational mathematics . 2010,第2期

机译：具有误差界强扩展的混沌动力系统严格数值的拓扑方法。
3. Rigorous numerics for symmetric homoclinic orbits in reversible dynamical systems [J] . Hiraoka Yasuaki Kybernetika . 2007,第6期

机译：可逆动力系统中对称同宿轨道的严格数值
4. Numerical analysis of nonlinear behaviors of a flexible rotor dynamic system with turbulent journal bearings support [C] . Yanjun Lu, Yongfang Zhang, Xiaoyong Ma, IMAMD 2011 . 2012

机译：湍流轴承支撑柔性转子动力系统非线性行为的数值分析
5. Rigorous and reasonable error bounds for the numerical solution of dynamical systems. [D] . Kuhn, Wolfgang. 1997

机译：动力系统数值解的严格而合理的误差界。
6. Switch of Sensitivity Dynamics Revealed with DyGloSA Toolbox for Dynamical Global Sensitivity Analysis as an Early Warning for Systems Critical Transition [O] . Tatiana Baumuratova, Simona Dobre, Thierry Bastogne, -1

机译：DyGloSA工具箱揭示了动态灵敏度的变化可进行动态全局灵敏度分析作为系统关键过渡的预警
7. A Rigorous Numerical Method For The Global Analysis Of Infinite Dimensional Discrete Dynamical Systems [O] . S. Day, O. Junge, K. Mischaikow 2008

机译：无限维离散动力系统整体分析的严密数值方法

CAPD∷DynSys: A flexible C++ toolbox for rigorous numerical analysis of dynamical systems

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅