非线性偏微分方程的解析解

本书给出了微分几何中的AC=BD模式，并利用吴微分特征列法，给出某些定理的机械化证明。给出了一般形式的Riccati方程多种形式的解，进而提出了求非线性偏微分方程孤波解的机械化方法，此方法可以将非线性微分方程的求解转化为非线性超定代数方程组的求解，从而建立了吴方法与微分方程求解之间的桥梁。