数式処理システム
Formula Manipulation System
コンピュータ代数システム: computer algebra system; CAS
古い言い方？
あんも.icon
Mathematica
Maple
Media Resources - Media Center – Maplesoft
Maple - The Essential Tool for Mathematics - Maplesoft
SymPy
SageMath
R