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

	微分几何定理证明中最简单辅助条件的计算
	王继民; 李廉
刊名	兰州大学学报(自然科学版)
	2003-02-28
期号	1 页码:20-23
关键词	微分几何定理证明吴方法 Rosenfeld-Grbner算法辅助条件
ISSN号	0455-2059
中文摘要	在微分几何定理证明中 ,一个定理成立的辅助条件 (非退化条件 )不是惟一的 ,但越简单越好 .对预先确定的标准如变元个数最少、导数算子阶数最低等 ,利用根微分理想分解的 Rosenfeld-Grobner算法 ,给出了微分几何定理机器证明中最简单辅助条件的构造性算法 .
出版地	Lanzhou
语种	中文
内容类型	期刊论文
源URL	[http://ir.lzu.edu.cn/handle/262010/127207]
专题	信息科学与工程学院_期刊论文
推荐引用方式 GB/T 7714	王继民,李廉. 微分几何定理证明中最简单辅助条件的计算[J]. 兰州大学学报(自然科学版),2003(1):20-23.
APA	王继民,&李廉.(2003).微分几何定理证明中最简单辅助条件的计算.兰州大学学报(自然科学版)(1),20-23.
MLA	王继民,et al."微分几何定理证明中最简单辅助条件的计算".兰州大学学报(自然科学版) .1(2003):20-23.