A computer-assisted proof of existence of a periodic solution (Q2263959)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A computer-assisted proof of existence of a periodic solution |
scientific article |
Statements
A computer-assisted proof of existence of a periodic solution (English)
0 references
19 March 2015
0 references
three-dimensional dynamical system
0 references
periodic orbit
0 references
numerical verification
0 references
0 references
0 references
