数学软件maxima, 可以计算微积分，线性代数等

maxima，前身是MIT的一个数学系统, 后来开源了。很多程序员就一起维护了。
高数里：我有用过它。
可以计算：导数、极限、微分、不定积分、定积分。。。。
而且他们都很简单。
比如： 不定积分只是在定积分的基础之上加两个参数。
安装：sudo apt-get install maxima maxima-share
运行：maxima
退出：quit();
例子：
//基本运算
(%i1) 2+3;
(%o1) 5
(%i2) 5*6;
(%o2) 30
//极限
(%i2) limit(sin(x)/x,x,0);
(%o2) 1
//定积分
(%i8) integrate(x^3,x,1,3);
(%o8) 20
附件是国内人写的一个中文文档，很全～～