sympy

SymPy 是一个用纯 Python 编写的符号计算系统（计算机代数系统），用于数学表达式的符号化建模、解析与推导。它支持代数运算、微积分、方程求解、离散数学、矩阵运算、级数展开、极限、积分变换等核心功能，具备符号化表达、精确计算和可扩展的模块化架构。项目不依赖外部 C/Fortran 库，便于嵌入教学、科研及工程计算场景，尤其适用于需要透明算法过程、轻量部署或与 Python 科学栈（如 NumPy、SciPy）协同使用的数学建模与教学任务。