Computer Algebra System

A computer algebra system (CAS) is a computer program that helps people with mathematics and algebra. It manipulates numbers and symbols called variables, which stand for known or unknown values that can be solved for, or replaced with any value.

Computer algebra systems can be special purpose, focusing on only a few types of symbolic math, to very large, general purpose programs that do almost everything (like Mathematica).