Rigorous computation in dynamics based on topological methods for multivector fields
DOI10.1007/S41468-023-00149-2MaRDI QIDQ6645914FDOQ6645914
Donald Woukeng, Damian Sadowski, Michał Lipiński, Tomasz Kapela, Jakub Leśkiewicz
Publication date: 29 November 2024
Published in: Journal of Applied and Computational Topology (Search for Journal in Brave)
periodic orbitcomputer assisted proofcombinatorial multivector fieldcombinatorial Poincaré Sectiontransversal polytope
Qualitative investigation and simulation of ordinary differential equation models (34C60) Geometric methods in ordinary differential equations (34A26) Index theory for dynamical systems, Morse-Conley indices (37B30) Topological dynamics (37B99)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Gudhi Library: Simplicial Complexes and Persistent Homology
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- Automatic differentiation for Fourier series and the radii polynomial approach
- Ordinary differential equations and dynamical systems
- The Lorenz attractor exists
- A proof of the generalized Schoenflies theorem
- Chaos in the Lorenz equations: a computer-assisted proof
- Polygonal approximation of flows
- Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level
- Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
- Persistent Homology of Morse Decompositions in Combinatorial Dynamics
- The existence of simple choreographies for theN-body problem—a computer-assisted proof
- Zeta functions, periodic trajectories, and the Conley index
- On ``relaxation-oscillations.
- Conley-Morse-Forman theory for combinatorial multivector fields on Lefschetz complexes
- Combinatorial vs. classical dynamics: recurrence
- Creating semiflows on simplicial complexes from combinatorial vector fields
- Diskrete Räume.
- Conley-Morse-Forman theory for generalized combinatorial multivector fields on finite topological spaces
This page was built for publication: Rigorous computation in dynamics based on topological methods for multivector fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6645914)
