Este livro originou-se em notas de aula escritas para um curso sobre demonstração automática de teoremas oferecido na Primeira Bienal da Sociedade Brasileira de Matemática,que realizou-se na Universidade Federal de Minas Gerais em 2002. Posteriormente, as mesmas notas de computação algébrica do curso de Ciência da Computação da Universidade Federal do Rio de Janeiro.
Como os alunos da computação têm pouco conhecimento de álgebra, o curso deveria cobrir, além dos tópicos de computação algébrica, as noções básicas sobre anéis e ideais. O resultado é um livro híbrido: uma introdução à álgebra no velho estilo dos séculos XVIII e XIX, em que a ênfase é sobre o que se pode calcular e como f azê-lo, ao invés de ser apenas uma discussão abstrata sobre estruturas. Mas há mais. A maior parte dos livros que seguem um caminho semelhante enxertam os tópicos de computação nas ementas usuais, nas quais a ênfase é sobre polinômios em uma indeterminada e extensões de corpos.
Didáticos / Técnico / Matemática