Als Computeralgebrasystem (CAS) bezeichne ich - in Anlehnung an einen schrägen Commonsenseausdruck - ein Software, die der Umformung algebraischer Ausdrücke dient - was idiotischerweise als Computeralgebra bezeichnet wird.
Viele CAS und einige programmierbare Taschenrechner (z. B. der HP-48) sind in der Lage, symbolische Formelmanipulationen durchzuführen. Damit sind Umformungen und Berechnungen von Termen und Gleichungen gemeint wie z. B. faktorisieren, ausmultiplizieren, die Polynomdivision sowie das Lösen von Gleichungen. Im Gegensatz zur numerischen Mathematik wird in der symbolischen Mathematik mit exakten Ausdrücken gearbeitet. Vorteil der symbolischen Mathematik ist die universelle Einsetzbarkeit des Ergebnisses. Ein Nachteil ist, dass bei vielen Problemen eine symbolische Lösung sehr aufwendig zu berechnen oder gar nicht möglich ist.
Ein Beispiel des CAS Maple zeigt das Lösen eines symbolischen Ausdrucks der sog. Mitternachtsformel:
Die CAS wurden immer umfangreicher und verlangten deshalb die unabhängig davon gleichzeitig entwickelte Front-End-Technik via Internet.