Pages that link to "Item:Q2684072"
From MaRDI portal
The following pages link to Computer assisted proofs in dynamical systems (Q2684072):
Displaying 6 items.
- Computer assisted proof of chaotic dynamics in the Rössler map (Q1599794) (← links)
- Computer aided proof for the global stability of Lotka-Volterra systems (Q1921255) (← links)
- Some applications of computers to the investigation of substitutional dynamical systems. (Q1966349) (← links)
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
- Computer assisted proof of drift orbits along normally hyperbolic manifolds (Q2060658) (← links)
- (Q4011803) (← links)