Pages that link to "Item:Q2280412"

The following pages link to Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models (Q2280412):

Displayed 2 items.

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