En
matemáticas y
ciencias de la computación, el
álgebra computacional, también conocida como
cálculo simbólico o
cálculo algebraico, es un área científica que se refiere al estudio y desarrollo de
algoritmos y
software para la manipulación de
expresiones matemáticas y otros objetos matemáticos. Aunque, hablando con propiedad, el álgebra computacional debe ser un sub-campo de la
computación científica, ellos son considerados generalmente como campos distintos, porque la computación científica se basa generalmente en el
análisis numérico con números aproximados en
punto flotante; mientras que, el álgebra computacional enfatiza el cálculo
exacto con expresiones que contengan
variables que no tienen cualquier valor dado y por lo tanto son manipulados como símbolos (de ahí se debe el nombre de
cálculo simbólico).