Los sistemas algebraicos computacionales o sistemas de álgebra computacional (CAS: Computer Algebra System) son sistemas o calculadoras avanzadas, que permiten realizar operaciones de manera simbólica. Esto significa que el computador puede efectuar operaciones con ecuaciones y fórmulas simbólicamente, es decir, a + b = c, se interpreta como la suma de variables y no como la suma de números previamente asignados.
Entre los más conocidos en la actualidad podemos nombrar: Maple, MatLab, Mathematica, MAXIMA, MuPAD y, recientemente, algunos lenguajes como Python comienzan a incorporar bibliotecas que permiten generar formas de cálculo simbólico
A continiación mostraremos un par de ejemplos de sistemas de computación simbólica: