数学推导和源代码生成程序

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