Computer Algebra System
A computer algebra system (CAS) is a large computer program that helps people with mathematics and algebra.  It changes and moves around (manipulates) mathematical equations and expressions containing numbers and symbols called variables. Variables can stand for known or unknown values that can be solved for, or can be replaced with any value. It always keeps the formula exactly the same mathematically as the original equation or expression, unless it is being transformed, by a transformation algorithm.