Pages that link to "Item:Q1974100"
From MaRDI portal
The following pages link to Computer assisted method for proving existence of periodic orbits (Q1974100):
Displaying 6 items.
- Discretization strategies for computing Conley indices and Morse decompositions of flows (Q333770) (← links)
- Finite resolution dynamics (Q535286) (← links)
- A numerical verification method for a periodic solution of a delay differential equation (Q708308) (← links)
- Recent development in rigorous computational methods in dynamical systems (Q849189) (← links)
- Excision-preserving cubical approach to the algorithmic computation of the discrete Conley index (Q930001) (← links)
- Homology algorithm based on acyclic subspace (Q945134) (← links)
