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

• 作者: 于建平 冯如勇
• 来源期刊: 中国科学A辑
• 关键词: 定理机器证明 特征列方法 Wronskian行列式 曲面的局部理论
• 年，卷（期）: 2008,（5）
• 页码范围: 556-566
• 页数: 11页
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯如勇	中国科学院数学与系统科学研究院	4	1	1.0	1.0
2	于建平		8	8	2.0	2.0