-
CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
Abstract: 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.
Submitted 14 October, 2020; originally announced October 2020.
Comments: 25 pages, 4 figures, 11 full C++ examples
-
Persistent Homology of Morse Decompositions in Combinatorial Dynamics
Abstract: We investigate combinatorial dynamical systems on simplicial complexes considered as {\em finite topological spaces}. Such systems arise in a natural way from sampling dynamics and may be used to reconstruct some features of the dynamics directly from the sample. We study the homological persistence of {\em Morse decompositions} of such systems, an important descriptor of the dynamics, as a tool f… ▽ More
Submitted 11 July, 2018; v1 submitted 19 January, 2018; originally announced January 2018.