Computação rigorosa de variedades invariantes

Detalhes bibliográficos
Ano de defesa: 2019
Autor(a) principal: Rivas, Bernardo Augusto do Prado
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-10062019-091028/
Resumo: 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.