微积分基本定理公式主要包括以下几种：
牛顿-莱布尼茨公式
如果函数 $f$ 在区间 $[a, b]$ 上连续，且其原函数 $F$ 在该区间上有定义，则 $\int_{a}^{b} f（x） \, dx = F（b） - F（a）$。
格林公式
设 $P（x, y）$ 和 $Q（x, y）$ 在闭区域 $D$ 上具有一阶连续偏导数，则 $\oint_{C} P \, dx + Q \, dy = \iint_{D} \left（ \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right） \, dA$，其中 $C$ 是区域 $D$ 的正向边界曲线。
高斯公式
设 $P（x, y, z）$，$Q（x, y, z）$，$R（x, y, z）$ 在闭区域 $V$ 上具有一阶连续偏导数，则 $\iiint_{V} \left（ \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z} \right） \, dV = \iint_{S} \left（ P \cos \alpha + Q \cos \beta + R \cos \gamma \right） \, dS$，其中 $S$ 是区域 $V$ 的边界曲面，$\cos \alpha$、$\cos \beta$ 和 $\cos \gamma$ 是曲面 $S$ 的单位法向量。
斯托克斯公式
设 $\mathbf{F} = （P, Q, R）$ 是具有连续旋度的向量场，则 $\int_{C} \mathbf{F} \cdot d\mathbf{r} = \iint_{S} （
abla \times \mathbf{F}） \cdot d\mathbf{S}$，其中 $C$ 是有向闭曲线，$S$ 是以 $C$ 为边界的有向曲面。
这些公式是微积分学中的基本工具，广泛应用于数学、物理、工程等领域。