Pages that link to "Item:Q1955646"
From MaRDI portal
The following pages link to Algorithm for the numerical proof of the existence of periodic trajectories in two-dimensional nonautonomous systems of ordinary differential equations (Q1955646):
Displayed 3 items.
- Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations (Q721909) (← links)
- Existence of periodic solutions of a third-order nonlinear system (Q2064228) (← links)
- Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models (Q2280412) (← links)