Publicação
Recent development in rigorous computational methods in dynamical systems
| Resumo: | We highlight selected results of recent development in the area of rigorous computations which use interval arithmetic to analyse dynamical systems. We describe general ideas and selected details of di erent ways of approach and we provide speci c sample applications to illustrate the e ectiveness of these methods. The emphasis is put on a topological approach, which combined with rigorous calculations provides a broad range of new methods that yield mathematically reliable results. |
|---|---|
| Autores principais: | Arai, Zin |
| Outros Autores: | Kokubu, Hiroshi; Pilarczyk, Pawel |
| Assunto: | dynamical system rigorous computations algorithm Conley index hyperbolic dynamics |
| Ano: | 2009 |
| País: | Portugal |
| Tipo de documento: | artigo |
| Tipo de acesso: | acesso restrito |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
| Resumo: | We highlight selected results of recent development in the area of rigorous computations which use interval arithmetic to analyse dynamical systems. We describe general ideas and selected details of di erent ways of approach and we provide speci c sample applications to illustrate the e ectiveness of these methods. The emphasis is put on a topological approach, which combined with rigorous calculations provides a broad range of new methods that yield mathematically reliable results. |
|---|