外微分在场论中的应用

建立了外微分理论与场论之间的一些对应法则,指出外微分形式是场论中众多命题的数学模型,得到用外微分运算解决场论中梯度、旋度、散度以及环量与通量的计算和几种重要的矢量场梯度场、旋度场、调和场证明的新方法。为利用计算机处理这类问题提供了一种简单模式,从而实现求解问题的机械化算法。