这是法国某大学数学研究所开发的开源智能推导程序(开源),可以推导积分、矩阵、微分方程的解,也可以推导结果转化为图形动画,和以fortran、C、java等程序运行的源代码,是随身的不要工资的数学秘书和程序猿