A computer algebra system (CAS) or symbolic computation system is a system of software packages that facilitates symbolic mathematics. Typically, these systems include

More advanced examples usually include more sophisticated tools, including Gröbner basis packages for manipulating ideals in polynomial rings, which is essential for many advanced real-world applications involving differential equations, robotics, and so forth, as well as packages for working at a high level with vectors and tensors.