プログラム yacas.sf.net/yacas.html

YACASは使いやすい、汎用コンピュータ代数システムです。これは、シンボリックと任意精度の数値計算用に設計された独自のプログラミング言語を使用しています。システムにはスクリプトのライブラリと広範なドキュメントが付属しています。