数式処理システム
数式処理システム（すうしきしょりシステム、英文名称:Formula Manipulation System）は、コンピュータを用いて数式を記号的に処理するソフトウェアである。
例えば式の展開としてformula_1を求めたり、微分としてformula_2に対してformula_3を求める操作を取り扱う。取扱い可能な数式と演算はソフトウエア製品により異なる。
英文別称には()、Symbolic Computation Systemがある。
数式処理機能以外に数値計算機能、グラフ表示機能等も統合した数学ソフトとして存在する製品もある。
また，数式処理システムに向けた計算アルゴリズムを研究する分野の名称も数式処理（あるいは computer algebra の直訳として計算機代数）と呼ぶ。
具体的な数式処理システムの製品については数式処理システムの一覧を参照されたい。