Pages that link to "Item:Q721909"

The following pages link to Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations (Q721909):

Displaying 4 items.

• Algorithm for the numerical proof of the existence of periodic trajectories in two-dimensional nonautonomous systems of ordinary differential equations (Q1955646) (← 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)
• Analysis and optimization of an adaptive interpolation algorithm for the numerical solution of a system of ordinary differential equations with interval parameters (Q2196182) (← links)
• Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models (Q2280412) (← links)