Álgebra computacional não comutativa

• Processo: 92/02430-4
• Modalidade de apoio: Bolsas no Exterior - Pesquisa
• Data de Início da vigência: 01 de outubro de 1992
• Data de Término da vigência: 31 de dezembro de 1992
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação
• Pesquisador responsável: Arnaldo Mandel
• Beneficiário: Arnaldo Mandel
• Pesquisador Anfitrião: Christian Choffrut
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Instituição Anfitriã: Université Paris Diderot - Paris 7, França
• Assunto(s): Álgebra
• Palavra(s)-Chave do Pesquisador: Algebra De Caminhos | Anel De Grupo | Series Formais

Resumo

O projeto tem duas linhas distintas: a) obtenção de expansões precisas dos componentes homogêneos da imagem do embutimento de Magnus da álgebra de grupo livre no anal de séries formais; b) aperfeiçoamento do algoritmo de Green-Farkas-Fenstel para bases de Grobner para álgebras de caminhos. (AU)