通用整数计算可以用Haskell的交互环境来做
这个任何数学软件都比不上的
就是浮点数，如果要求精度
现在还没找到好的
符号计算，免费的就是MAXIMA了
工程计算是SCILAB
不了解MAXIMA,你前面提供的那个国内的链接有相应的源代码提供吗？我好像没有看到。
其实我觉得对于我来说，最有用软件有两类：
i)提供了高级语言开发接口的库函数，这个对于我们写代码的时候有用（符号计算接口的几乎没有看到过）
ii)提供良好的符号计算界面的，可以帮助我们推导数学公式:)
经常有人发email给我，希望能开发符号计算系统，
他们的依据是大数计算可以与符号计算挂钩，
可惜我水平太菜，一直没看出它们间的亲密联系，
只感到相同之处是对开发者要求都很高，后者甚至更高。
那你在linux上装个看下
带符号计算库的少，很少
要不你基于StandardML作一个吧
C肯定是作起来繁琐的
Lisp估计非高人不可的
你学过否？
补充下上面的
如果肯花钱
Maple的符号计算是可以导出库用在自己的程序的
浏览了下Maxima,怎么感觉同早期的Mathematica挺像:)可能还不错
:)
那就装下么
反正也不用下载
自动更新哦
另外你再把haskell sml/nj两个语言装上
不知道你的linux是否debian系的？
我还是先安装Windows版本的。haskell sml/nj都没有考虑过，新的语言尽量还是不要去接触了:)
:lol
windows下的相关东西不好找
另外，
国内有本书专讲Standard ML
后面有很大篇幅介绍计算机推理系统