微分形式是多变量微积分，微分拓扑和张量分析领域的一个数学概念。现代意义上的微分形式，指其以楔积和外微分结构形成外代数的想法，都是由著名法国数学家埃里·卡当引入的。

利用外微分和积分运算，我们可以得到著名的斯托克斯定理。这个定理有很多特殊情况， 都是经典微积分理论中的重要公式，例如：牛顿莱布尼兹公式、高斯公式、格林公式等。斯托克斯定理表明， 外微分算子和拓扑图形的边缘算子是相伴的。 这暗示了微分分析和拓扑学之间的微妙联系。