| Processo: | 16/08704-5 |
| Modalidade de apoio: | Auxílio à Pesquisa - Regular |
| Data de Início da vigência: | 01 de setembro de 2016 |
| Data de Término da vigência: | 30 de novembro de 2018 |
| Área do conhecimento: | Ciências Exatas e da Terra - Matemática - Matemática Aplicada |
| Pesquisador responsável: | Marcio Fuzeto Gameiro |
| Beneficiário: | Marcio Fuzeto Gameiro |
| Instituição Sede: | Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brasil |
| Município da Instituição Sede: | São Carlos |
| Assunto(s): | Métodos numéricos Equações diferenciais Órbitas homoclínicas Sistemas dinâmicos (matemática) Prova automática de teoremas Prova assistida por computador |
| Palavra(s)-Chave do Pesquisador: | Métodos Numéricos Rigorosos | Provas assistidas por computador em equações diferenciais | Provas assistidas por computador em equações diferenciais |
Resumo
O objetivo deste projeto de pesquisa é desenvolver métodos computacionais rigorosos para o estudo da dinâmica de equações diferenciais. O objetivo é estender o chamado método de continuação rigorosa para provar a existência de soluções periódicas, órbitas homoclinicas e heteroclinicas, determinar a estabilidade destas órbitas e calcular variedades invariantes. (AU)
| Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio: |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |