基于特征列方法和Wronskian行列式的曲面定理机器证明  

作　　者：冯如勇[1] 于建平[2] 

机构地区：[1]中国科学院数学与系统科学研究院数学机械化重点实验室,北京100190 [2]北京科技大学数学力学系,北京100083

出　　处：《中国科学（A辑）》2008年第5期556-566,共11页Science in China(Series A)

基　　金：国家重点基础研究项目(批准号：2004CB318000)资助

摘　　要：将Chou与Gao的关于微分几何中曲线定理机器证明的方法推广到微分几何曲面定理中.改进了经典的Wronskian行列式,它可以用于判断微分域中的有限个元素是否在其常数域上线性相关.基于Wronskian行列式,可以用代数语言来描述微分几何曲面理论中的几何表述,进而用特征列方法来证明这些定理.

关 键 词：定理机器证明 特征列方法 WRONSKIAN行列式 曲面的局部理论 

分 类 号：O186.1[理学—数学]