Pages that link to "Item:Q2363617"
From MaRDI portal
The following pages link to On computer-assisted proving the existence of periodic and bounded orbits (Q2363617):
Displaying 4 items.
- Conley index of Poincaré maps in isolating segments (Q1001887) (← links)
- Algorithm for the numerical proof of the existence of periodic trajectories in two-dimensional nonautonomous systems of ordinary differential equations (Q1955646) (← links)
- Computer assisted method for proving existence of periodic orbits (Q1974100) (← links)
- A computer-assisted proof of existence of a periodic solution (Q2263959) (← links)