REDUCE (数式処理システム)
REDUCE(リデュース)は汎用の計算機代数アプリケーションである。主に物理学における利用を想定して開発された。