Recent development in rigorous computational methods in dynamical systems
numerical examplesalgorithmbifurcationsConley indexdynamical systemperiodic orbitrigorous computationsheteroclinic orbitinterval arithmetichyperbolic dynamics
Numerical analysis or methods applied to Markov chains (65C40) Periodic orbits of vector fields and flows (37C27) Homoclinic and heteroclinic orbits for dynamical systems (37C29) Bifurcations of limit cycles and periodic orbits in dynamical systems (37G15) Computational methods for bifurcation problems in dynamical systems (37M20) Numerical bifurcation problems (65P30)
- Topological techniques for efficient rigorous computation in dynamics
- Computational methods for rigorous analysis of chaotic systems
- Computable analysis with applications to dynamic systems
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
- Topological dynamics: rigorous numerics via cubical homology
- scientific article; zbMATH DE number 3616736 (Why is no real title available?)
- scientific article; zbMATH DE number 1936660 (Why is no real title available?)
- scientific article; zbMATH DE number 1787316 (Why is no real title available?)
- A Geometric Criterion for Hyperbolicity of Flows
- A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
- A characterization of the minimum cycle mean in a digraph
- A database schema for the analysis of global dynamics
- A numerical method for constructing the hyperbolic structure of complex Hénon mappings
- An algorithmic approach to chain recurrence
- Chaotic dynamics of a nonlinear density dependent population model
- Cocoon bifurcation in three-dimensional reversible vector fields
- Computational homology
- Computer assisted method for proving existence of periodic orbits
- Excision-preserving cubical approach to the algorithmic computation of the discrete Conley index
- Existence of dichotomies and invariant splittings for linear differential systems. I
- Graph approach to the computation of the homology of continuous maps
- Introduction to algorithms
- Leray Functor and Cohomological Conley Index for Discrete Dynamical Systems
- Markov shifts in the Hénon family
- New aspects in the unfolding of the nilpotent singularity of codimension three
- On Hyperbolic Plateaus of the Henon Map
- Open index pairs, the fixed point index and rationality of zeta functions
- Quantitative hyperbolicity estimates in one-dimensional dynamics
- Rigorous Computations of Homoclinic Tangencies
- Rigorous verification of cocoon bifurcations in the Michelson system
- Shift automorphisms in the Henon mapping
- Steady solutions of the Kuramoto-Sivashinsky equation
- THE "COCOON" BIFURCATIONS IN THREE-DIMENSONAL SYSTEMS WITH TWO FIXED POINTS
- The Conley index for discrete semidynamical systems
- The Conley index on compact ANR's is of finite type
- Topological method for symmetric periodic orbits for maps with a reversing symmetry
- Topological techniques for efficient rigorous computation in dynamics
- Topological-numerical approach to the existence of periodic trajectories in ODE's
- Uniqueness of connecting orbits in the equation \(Y^{(3)}=Y^ 2-1\)
- Zeta functions, periodic trajectories, and the Conley index
- \(C^1\) Lohner algorithm.
- A topological approach to the algorithmic computation of the Conley index for Poincaré maps
- Rigorous investigation of the Ikeda map by means of interval arithmetic
- Hodge-Kodaira decomposition of evolving neural networks
- Recent advances in a rigorous computation of Poincaré maps
- Topological techniques for efficient rigorous computation in dynamics
- Computational methods for rigorous analysis of chaotic systems
- Computable analysis with applications to dynamic systems
- Discretization strategies for computing Conley indices and Morse decompositions of flows
- Robust Computations with Dynamical Systems
- Rigorous computation of a radially symmetric localized solution in a Ginzburg-Landau problem
- On planar curves with position-dependent curvature
This page was built for publication: Recent development in rigorous computational methods in dynamical systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q849189)