SymPy符号运算库与latex数学公式

sympy

SymPy是一个用于以符号运算为主的符号数学的Python库。它的目标是成为一个全功能的计算机代数系统(CAS)，同时保持代码尽可能的简单，以便易于理解和易于扩展。SymPy完全是用Python编写的。 官网地址:https://www.sympy.org/en/index.html

从 SymPy 的 1.4 版本文档中，可以看出，SymPy 可以支持很多初等数学，高等数学，甚至研究生数学的符号计算。在初等数学和高等数学中，SymPy 可以支持的内容包括但不限于：

1. 基础计算（Basic Operations）；
2. 公式简化（Simplification）；
3. 微积分（Calculus）；
4. 解方程（Solver）；
5. 矩阵（Matrices）；
6. 几何（geometry）；
7. 级数（Series）；

在更多的数学领域中，SymPy 可以支持的内容包括但不限于：

1. 范畴论（Category Theory）；
2. 微分几何（Differential Geometry）；
3. 常微分方程（ODE）；
4. 偏微分方程（PDE）；
5. 傅立叶变换（Fourier Transform）；
6. 集合论（Set Theory）；
7. 逻辑计算（Logic Theory）。

sympy是一个python库，可以直接pip安装。

pip install sympy

sympy可以用来推公式和化简，然后直接输出公式的latex代码。


1 + \frac{- Dilation \left(Kernel - 1\right) + L_{in} + 2 Padding - 1}{Stride}可以直接复制过来，就变成如下显示：
$$1+\frac{-Dilation\left(Kernel-1\right)+L_{in}+2Padding-1}{Stride}$$

latex

Latex 排版写论文
LaTeX（LATEX，音译“拉泰赫”）是一种基于ΤΕΧ的排版系统，由美国计算机学家莱斯利·兰伯特（Leslie Lamport）在20世纪80年代初期开发，利用这种格式，即使使用者没有排版和程序设计的知识也可以充分发挥由TeX所提供的强大功能，能在几天、甚至几小时内生成很多具有书籍质量的印刷品。对于生成复杂表格和数学公式，这一点表现得尤为突出。因此它非常适用于生成高印刷质量的科技和数学类文档。这个系统同样适用于生成从简单的信件到完整书籍的所有其他种类的文档。

Latex与word最大的区别是：Word所见即所得，Latex所写即所得。Latex可以所写即所得，是因为排版格式都通过代码唯一标示了。

支持Latex的工具有很多，最简单的可以使用在线Latex工具，比如Overleaf。Overleaf上有很多模板可以直接使用，除常用的期刊论文模板外，还有大论、报告、PPT、甚至学术海报的模板，基本将常规需求一网打尽，Latex排版；Sympy推公式，输出公式的Latex语句，或者Mathpix Snipping生成公式代码识别输出代码.

参考链接