微分几何定理证明中最简单辅助条件的计算

CORC > 北京大学 > 信息科学技术学院

	微分几何定理证明中最简单辅助条件的计算; Computing simplest subsidiary conditions in differential geometry theorem proving
	王继民 ; 李廉
刊名	兰州大学学报自然科学版
	2003
关键词	微分几何定理证明吴方法 Rosenfeld-Grobner算法辅助条件
DOI	10.3321/j.issn:0455-2059.2003.01.005
英文摘要	在微分几何定理证明中,一个定理成立的辅助条件(非退化条件)不是惟一的,但越简单越好.对预先确定的标准如变元个数最少、导数算子阶数最低等,利用根微分理想分解的Rosenfeld-Grobner算法,给出了微分几何定理机器证明中最简单辅助条件的构造性算法.; 国家重点基础研究发展计划(973计划); 中文核心期刊要目总览(PKU); 中国科学引文数据库(CSCD); 0; 1; 20-23; 39
语种	中文
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/24356]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	王继民,李廉. 微分几何定理证明中最简单辅助条件的计算, Computing simplest subsidiary conditions in differential geometry theorem proving[J]. 兰州大学学报自然科学版,2003.
APA	王继民,&李廉.(2003).微分几何定理证明中最简单辅助条件的计算.兰州大学学报自然科学版.
MLA	王继民,et al."微分几何定理证明中最简单辅助条件的计算".兰州大学学报自然科学版 (2003).