Rigorous computation in dynamics based on topological methods for multivector fields

DOI10.1007/S41468-023-00149-2MaRDI QIDQ6645914

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)

zbMATH Keywords

periodic orbitcomputer assisted proofcombinatorial multivector fieldcombinatorial Poincaré Sectiontransversal polytope

Mathematics Subject Classification ID

Topological dynamics (37B99) Geometric methods in ordinary differential equations (34A26) Qualitative investigation and simulation of ordinary differential equation models (34C60) Index theory for dynamical systems, Morse-Conley indices (37B30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
• On ``relaxation-oscillations.
• Conley-Morse-Forman theory for combinatorial multivector fields on Lefschetz complexes
• Zeta functions, periodic trajectories, and the Conley index
• Automatic differentiation for Fourier series and the radii polynomial approach
• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• Combinatorial vs. classical dynamics: recurrence
• Creating semiflows on simplicial complexes from combinatorial vector fields
• Diskrete Räume.
• Polygonal approximation of flows
• The Gudhi Library: Simplicial Complexes and Persistent Homology
• Ordinary differential equations and dynamical systems
• The Lorenz attractor exists
• Chaos in the Lorenz equations: a computer-assisted proof
• The existence of simple choreographies for theN-body problem—a computer-assisted proof
• A proof of the generalized Schoenflies theorem
• Persistent Homology of Morse Decompositions in Combinatorial Dynamics
• Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level
• 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)