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

本书给出了微分几何中的AC=BD模式,并利用吴微分特征列法,给出某些定理的机械化证明。给出了一般形式的Ric...

2012.12