Trata manipulação exata de expressões, fatoração, diferenciação, integração e solução simbólica. Sistemas de álgebra computacional são usados com verificação de hipóteses e resultados.
