CAS Computação Algébrica Simbólica: Manipulação de Expressões Matemáticas