Álgebra Computacional: Transformando Manipulações Simbólicas em Cálculos Eficientes