A Computer-Assisted Proof of $\Sigma_3$-Chaos in the Forced Damped Pendulum Equation (Q3624471)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Computer-Assisted Proof of $\Sigma_3$-Chaos in the Forced Damped Pendulum Equation |
scientific article |
Statements
A Computer-Assisted Proof of $\Sigma_3$-Chaos in the Forced Damped Pendulum Equation (English)
0 references
30 April 2009
0 references
transition graph
0 references
interval arithmetic
0 references
Brouwer's fixed point theorem
0 references
