数式処理システム
数式内の函数や数値を記号的に置換する。
単変数あるいは多変数の多項式の因数分解。
式を可能な限り単純な形式に変換したり、何らかの標準形式にする。前提条件や制約条件を考慮した自動的な簡約化も行う。 但し、この操作は常に可能とは限らず、ある程度一般的な(例えば初等函数と絶対値函数を含む)二つの数式の等価性の判定はアルゴリズム的には決定不能なことが示されている。
数式の形式を変更する。三角関数を指数函数で置換するなど。
自然数、整数
有理数、無理数
複素数
論理代数
任意の精度の数値の操作。