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
From MaRDI portal
Publication:2019639
DOI10.1134/S0012266121030113zbMath1471.34073MaRDI QIDQ2019639
N. M. Evstigneev, O. I. Ryabkov, D. A. Shul'min
Publication date: 21 April 2021
Published in: Differential Equations (Search for Journal in Brave)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- Topological-numerical approach to the existence of periodic trajectories in ODE's
- A rigorous ODE solver and Smale's 14th problem
- Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models
- Validated solutions of initial value problems for parametric ODEs
- Introduction to Interval Analysis
- On Taylor Model Based Integration of ODEs
- Verified high-order inversion of functional dependencies and interval Newton methods