SymPy

Python 符号数学库，包含符号计算、代数、微积分、离散数学等。