Oct 14, 2020 · We present the CAPD::DynSys library for rigorous numerical analysis of dynamical systems. The basic interface is described together with several interesting ...

We present the CAPD::DynSys library for rigorous numerical analysis of dynamical systems. The basic interface is described together with several interesting ...

We present the CAPD::DynSys library for rigorous numerical analysis of dynamical systems. The basic interface is described together with several interesting ...

Sep 8, 2020 · The CAPD::DynSys library provides data structures and algorithms designed for analysis of discrete and continuous dynamical systems in finite ...

Aug 11, 2020 · We present the CAPD::DynSys library for rigorous numerical analysis of dynamical systems. The basic interface is described together with ...

We present the CAPD::DynSys library for rigorous numerical analysis of dynamical systems. The basic interface is described together with several interesting ...

Oct 14, 2020 · CAPD: : DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems · T. Kapela, M. Mrozek, +1 author. P. Zgliczy'nski ...

We present the CAPD::DynSys library for rigorous numerical analysis of dynamical systems. The basic interface is described together with several interesting ...

CAPD::DynSys: A flexible C++ toolbox for rigorous numerical analysis of dynamical systems. https://doi.org/10.1016/j.cnsns.2020.105578 ·.

Feb 1, 2024 · It is a collection of flexible C++ modules which are mainly designed for nonrigorous and validated numerics for dynamical systems.