标签：数学 file 符号 比较 计算 math web ica map
之前只知道
想起数学机械化的事情, 找到中科院的
开源的有
maxima的资料
符号计算
原文地址：https://www.cnblogs.com/bregman/p/11010944.html
