Los sistemas de álgebra simbólica son una categoría amplia de herramientas matemáticas que permite resolver problemas en distintos niveles de abstracción y van más allá de las operaciones numéricas básicas de una calculadora aritmética. Permiten modelar expresiones algebraicas como funciones, polinomios y sistemas de ecuaciones. Las expresiones se pueden graficar y vincular a las distintas representaciones matemáticas. Esta categoría de herramientas se denomina por las siglas en inglés CAS (Computer Algebra System) o SAS (Symbolic Algebra System) que enfatiza las capacidades algebraicas y simbólicas que poseen.
Los sistemas de álgebra simbólica tienen aplicación más allá del ámbito educativo. La categoría se puede subdividir en herramientas de propósito general (cubren varias áreas de las matemáticas y tienen distintas aplicaciones) y herramientas especializadas (cubren áreas específicas de las matemáticas, están enfocadas en aplicaciones de ingeniería, educación).
Una característica fundamental de los sistemas de álgebra simbólica es que permiten representar expresiones matemáticas de la misma forma que se escriben habitualmente. La interfaz de usuario puede estar adaptada, además del teclado, al uso de stylus y entrada táctil, pero principalmente debe hacer fácil el uso de la notación matemática. Además de una calculadora aritmética básica y gráfica, habitualmente incluyen un sistema de simplificación y transformación de expresiones algebraicas. Tienen una librería de funciones matemáticas y puede incluir un lenguaje de programación.