| Autor: | Marcin Zelawski |
|---|---|
| Rok vydání: | 1999 |
| Předmět: |
Physics::Computational Physics
Dynamical systems theory Applied Mathematics Computation Dynamical system Data structure Interval arithmetic Nonlinear Sciences::Chaotic Dynamics Computational Mathematics Computer-assisted proof Calculus Applied mathematics Isolation (database systems) Round-off error Nonlinear Sciences::Pattern Formation and Solitons Software Mathematics |
| Zdroj: | Reliable Computing. 5:113-129 |
| ISSN: | 1385-3139 |
| DOI: | 10.1023/a:1009945220181 |
| Popis: | This paper describes a method of rigorous verification of an isolating neighborhood based on computer assisted computations. As an application we study the Kuramoto-Sivashinsky equation. The result of the computer assisted proof was directly used in [9] to prove the existence of heteroclinic solutions of the Kuramoto-Sivashinsky equation. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink