>>94
私もRは数値処理って思ったんだけど、91さんが言いたいのは
数理ファイナンスならRの方が役に立つ、ということかも。違ってたら
ご指摘を。

93でやったような数式計算ならばMaximaは得意だと思うんです。数理
ファイナンスの数学の式計算（偏微分方程式のオンパレードみたいな
やつですよね）には使えないのかなあ。

>>92
CoqやAgda、普通の証明（ってなんだ？）にも使えそうでしょうか。
時代は進歩しているんですね。