符号计算除了SymPy还有哪些包？

[rzhli]

比如符号积分、微分、化简，结果能用清晰的分式表达式呈现，是不是目前还没有这样的包？

[woclass]

以前的一些讨论

Julia的CAS(计算代数系统)哪个比较好？

如题，在数学建模（比如数模比赛），或者在项目中需要做符号公式推导，而又希望能把公式等化成Julia表达式代入下一步数值运算的CAS扩展包有哪些？ 大致要求如下： 1.功能上的： 代数化简，三角函数化简， 解线性方程组 解符号矩阵，解矩阵特征值 符号求微积分，求解微分方程（组） 向量场图/相图（也许可以用非CAS包） 2.兼容性上 可以从Julia本身的一些数据结构，如Expr作…

• MasonProtter/Symbolics.jl: A symbolic math library written in Julia modelled off scmutils