SymPy（Symbol Python的简称）是一个用于符号数学的Python库。它旨在成为一个功能齐全的计算机代数系统（CAS），同时保持代码尽可能简单，以便易于理解和易于扩展。SymPy完全用Python编写，不依赖于外部库。

Introduction

符号计算以符号方式处理数学对象的计算。这意味着数学对象被精确地表示，而不是近似地表示，并且数学表达式保留符号变量。
SymPy可以简化表达式，计算导数，积分和极限，求解方程，使用矩阵等等。还可以绘图，打印(like 2D pretty printed output of math formulas, or L A T E X LATEX LATEX)，代码生成，物理，统计，组合，数论，几何，逻辑等。

参考链接：
SymPy官网
Python圈中的符号计算库-Sympy
微信公众号
博客园