Sympy 自动推导库

我认为你可能指的是Sympy（Symbolic Python）。Sympy是一个基于Python的符号数学计算库，可以实现符号代数、微积分、离散数学等领域的计算和推导。它支持符号表达式、方程求解、微分、积分、矩阵计算等功能，并且提供了交互式控制台和LaTeX输出。

Sympy 可以应用于教育、科研和工程领域，可以用于计算机代数系统、科学计算、高能物理、数学教育等方面。在机器学习中，Sympy可以用于自动推导公式、求解参数、优化模型等任务。

除了Sympy之外，有一些其他的机器学习开源项目也涉及到公式推导和符号计算，例如：

TensorSpace：一个基于WebGL的可视化神经网络构建和推导工具。

Autograd：一个支持自动微分的Python库，可以用于求解梯度、优化模型等任务。

SymPy Gamma：一个在线的符号计算工具，可以进行符号计算、绘图、曲线拟合等任务。

总之，Sympy是一个非常强大的符号计算库，可以用于实现符号代数、微积分、离散数学等领域的计算和推导。在机器学习中，可以使用Sympy进行自动推导公式、求解参数、优化模型等任务。同时，也有其他一些机器学习开源项目涉及到公式推导和符号计算，可以根据具体需求进行选择和应用。