Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations
type: Item
instance of: scholarly article
title: Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations
zbMATH Open document ID: 1415.65152
DOI: 10.1134/S0012266118040092
author: N. Evstigneev
author: O. I. Ryabkov
published in: Differential Equations
publication date: 2018-07-20T00:00:00Z
Mathematics Subject Classification ID: 65L05
Mathematics Subject Classification ID: 34A34
Mathematics Subject Classification ID: 65G30
zbMATH DE Number: 6909066
describes a project that uses: Cosy
MaRDI profile type: Publication
cites work: Q3026133
cites work: Q3207999
cites work: Introduction to Interval Analysis
cites work: On optimization of weight quadrature formulas
cites work: Q3686301
cites work: Q3899395
cites work: Q3761576
cites work: Q5444070
cites work: Validated solutions of initial value problems for ordinary differential equations
cites work: Algorithm for the numerical proof of the existence of periodic trajectories in two-dimensional nonautonomous systems of ordinary differential equations
cites work: A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
cites work: A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
cites work: Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof
cites work: Q5001955
cites work: Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
cites work: Validated solutions of initial value problems for parametric ODEs
cites work: Q4885375
cites work: Q5644548
cites work: Q5187597
cites work: Q3247296
cites work: Topological-numerical approach to the existence of periodic trajectories in ODE's
full work available at URL: s0012266118040092
OpenAlex ID: W2803730510
Wikidata QID: Q129825294
description: scientific article; zbMATH DE number 6909066