Sistemas algebraicos computacionales (CAS)

Maxima es un sistema para la manipulación de expresiones simbólicas y numéricas, incluyendo diferenciación, integración, expansión en series de Taylor, transformadas de Laplace, ecuaciones diferenciales ordinarias, sistemas de ecuaciones lineales, vectores, matrices y tensores. Maxima produce resultados de alta precisión usando fracciones exactas, números enteros de precisión arbitraria y números de coma flotante con precisión variable. Adicionalmente puede hacer gráficas de funciones y datos en dos y tres dimensiones. 

SageMath, conocido anteriormente como Sage, es un CAS que destaca por estar construido sobre paquetes matemáticos ya contrastados como NumPy, Sympy, PARI/GP o Maxima y por acceder a sus potencias combinadas a través de un lenguaje común basado en Python.

Yacas es un programa de álgebra computacional (CAS) de uso simple, de código abierto, y de propósito general. Su nombre es un acrónimo de Yet Another Computer Algebra System, su equivalente en español sería similar a: "Otro Programa Más de Álgebra Computacional". 

Mathematica es un programa utilizado en áreas científicas, de ingeniería, matemática y áreas computacionales. Comúnmente considerado como un sistema de álgebra computacional, Mathematica es también un poderoso lenguaje de programación de propósito general. 

Maple es un programa orientado a la resolución de problemas matemáticos, capaz de realizar cálculos simbólicos, algebraicos y de álgebra computacional. Su nombre es una abreviatura o un acrónimo de la frase en inglés Mathemathic Pleasure (‘placer de las matemáticas’), también se debe a que Maple fue hecho en Canadá, cuya bandera tiene una hoja de arce (maple en inglés). 

Mathcad es un entorno de documentación técnica con prestaciones de cálculo numérico y simbólico, que permite explorar problemas, formular ideas, analizar datos, modelar y chequear escenarios, determinar la mejor solución, como así también documentar, presentar y comunicar los resultados. Algunas de las capacidades matemáticas de Mathcad están basadas en parte del código del programa algebraico Maple (Núcleo MathSoft de Maple o Mathsoft Kernel Maple, MKM) .

Derive  fue un programa de cálculo matemático avanzado que comprendía el manejo de variables, expresiones algebraicas, ecuaciones, funciones, vectores, matrices, trigonometría, etc. También tenía capacidades de calculadora científica, y podía representar funciones gráficas en dos y tres dimensiones en varios sistemas coordenados. Aunque actualmente está discontinuado la última versión estable (6.1) se continua utilizando ampliamente.