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

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

以前的一些讨论