Grupos, anéis e módulos, corpos, polinomios, Teoria de Galois. Bases de Gröbner,Algoritmo de Buchberger. Aplicações: demonstração automática de teoremas, integração de funções racionais, grafos, robótica.

Informações Básicas:

• Carga horária: 60 horas;
• Pré-requisito: Não se aplica.

Bibliografia Obrigatória:

• Coutinho, S.C. - Polinômios e Computação Algébrica;
• Gonçalves, A. – Introdução à Álgebra;
• Hefez, A - Curso de Álgebra.

Bibliografia Complementar:

• Abstract Algebra: An Introduction Thomas W. Hungerford;
• Algebra,Thomas W. Hungerford;
• Contemporary Abstract Algebra Joseph Gallian;
• Modern Computer Algebra Joachim von zur Gathen , Jürgen Gerhard;
• Computer Algebra Recipes: A Gourmet's Guide to the Mathematical Models of Science (Undergraduate Texts in Contemporary Physics) Richard Enns , George C. McGuire.