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)