• Mathematicaと並び有名な商用数式処理システム。