Computação rigorosa de variedades invariantes
Este trabalho é uma introdução a métodos computacionais rigorosos utilizados no estudo de sistemas dinâmicos não lineares. A priori, é dado um panorama de conceitos teóricos em equações diferenciais e análise funcional essenciais para o desenvolvimento das ferramentas. Em seguida, os métodos e suas...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis de maestría |
| Estado: | Versión publicada |
| Fecha de publicación: | 2019 |
| País: | Brasil |
| Institución: | Universidade de São Paulo (USP) |
| Repositorio: | Biblioteca Digital de Teses e Dissertações da USP |
| Idioma: | portugués |
| OAI Identifier: | oai:teses.usp.br:tde-10062019-091028 |
| Acceso en línea: | http://www.teses.usp.br/teses/disponiveis/55/55135/tde-10062019-091028/ |
| Access Level: | acceso abierto |
| Palabra clave: | Computação rigorosa Nonlinear dynamical systems Rigorous computation Sistemas dinâmicos não lineares |
| Sumario: | Este trabalho é uma introdução a métodos computacionais rigorosos utilizados no estudo de sistemas dinâmicos não lineares. A priori, é dado um panorama de conceitos teóricos em equações diferenciais e análise funcional essenciais para o desenvolvimento das ferramentas. Em seguida, os métodos e suas aplicações são descritos em detalhes. |
|---|