Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations
From MaRDI portal
Publication:721909
Recommendations
- Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models
- 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
- Algorithm for the numerical proof of the existence of periodic trajectories in two-dimensional nonautonomous systems of ordinary differential equations
- Topological-numerical approach to the existence of periodic trajectories in ODE's
- Computer assisted method for proving existence of periodic orbits
Cites work
- scientific article; zbMATH DE number 4013838 (Why is no real title available?)
- scientific article; zbMATH DE number 3649911 (Why is no real title available?)
- scientific article; zbMATH DE number 3131266 (Why is no real title available?)
- scientific article; zbMATH DE number 3910000 (Why is no real title available?)
- scientific article; zbMATH DE number 4011793 (Why is no real title available?)
- scientific article; zbMATH DE number 3707668 (Why is no real title available?)
- scientific article; zbMATH DE number 903761 (Why is no real title available?)
- scientific article; zbMATH DE number 7374771 (Why is no real title available?)
- scientific article; zbMATH DE number 3895476 (Why is no real title available?)
- scientific article; zbMATH DE number 3372755 (Why is no real title available?)
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
- A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
- Algorithm for the numerical proof of the existence of periodic trajectories in two-dimensional nonautonomous systems of ordinary differential equations
- Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof
- Introduction to Interval Analysis
- On optimization of weight quadrature formulas
- Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning
- Topological-numerical approach to the existence of periodic trajectories in ODE's
- Validated solutions of initial value problems for ordinary differential equations
- Validated solutions of initial value problems for parametric ODEs
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
Cited in
(4)- 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
- Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models
- Algorithm for the numerical proof of the existence of periodic trajectories in two-dimensional nonautonomous systems of ordinary differential equations
- Analysis and optimization of an adaptive interpolation algorithm for the numerical solution of a system of ordinary differential equations with interval parameters
This page was built for publication: Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q721909)
