Resumo: Apresentamos uma visão geral da Computação Algébrica, mostrando que ela é uma área consolidada com confências e revistas próprias. Descrevemos alguns tópicos teóricos, como a aritmética multi-exata, os algoritmos modulares, as bases de Groebner e integração algébrica que dão a fundamentação para a elaboração dos sistemas de computação algébrica, por exemplo, Maple e Mathematica.