中国科学院数学与系统科学研究院于2011年4月至2011年10月举办了题为“非线性偏微分方程中的分析”的主题研讨...
2013.1
本书给出了微分几何中的AC=BD模式，并利用吴微分特征列法，给出某些定理的机械化证明。给出了一般形式的Ric...
2012.12