Semânticas não-determinísticas para as lógicas da inconsistência formal
Dinâmica de Gauge Não Comutativa a partir de Álgebras L_infinity
| Processo: | 01/01618-0 |
| Modalidade de apoio: | Auxílio à Pesquisa - Regular |
| Data de Início da vigência: | 01 de maio de 2001 |
| Data de Término da vigência: | 30 de abril de 2003 |
| Área do conhecimento: | Ciências Exatas e da Terra - Matemática - Matemática Aplicada |
| Pesquisador responsável: | Jayme Morandi Vaz |
| Beneficiário: | Jayme Morandi Vaz |
| Instituição Sede: | Instituto de Matemática, Estatística e Computação Científica (IMECC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil |
| Assunto(s): | Computação algébrica |
| Palavra(s)-Chave do Pesquisador: | Computacao Algebrica |
Resumo
Equipamentos de Informática como Computadores Pessoais e Impressoras são ingredientes fundamentais para certas atividades de pesquisa. Pretendemos utilizar pacotes de computação algébrica (Reduce, Mathematica e Maple) no auxílio dos nossos estudos sobre Álgebras de Clifford, suas generalizações e aplicações. (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) |