Pages that link to "Item:Q1955646"

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):

Displaying 7 items.

• Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations (Q721909) (← links)
• Topological-numerical approach to the existence of periodic trajectories in ODE's (Q1422582) (← links)
• Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation (Q1620885) (← links)
• Use of shrink wrapping for interval Taylor models in algorithms of computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential equations (Q2019639) (← 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)
• Existence and Computation of Hyperbolic Trajectories of Aperiodically Time Dependent Vector Fields and Their Approximations (Q4653843) (← links)