PROVING GEOMETRY STATEMENTS OF CONSTRUCTIVE TYPE

CSpace

	PROVING GEOMETRY STATEMENTS OF CONSTRUCTIVE TYPE
	CHOU, SC; GAO, XS
	1992
发表期刊	LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
卷号	607 页码:20-34
摘要	This paper presents a method to generate non-degenerate conditions in geometric form for a class of geometry statements of constructive type, called Class C. We prove a mathematical theorem that in the irreducible case, the non-degenerate conditions generated by our method are sufficient for a geometry statement in Class C to be valid in metric geometry. About 400 among 600 theorems proved by our computer program are in Class C.
关键词	GEOMETRY THEOREM PROVING WU METHOD NONDEGENERATE CONDITION GENERALLY TRUE CONSTRUCTIVE GEOMETRY STATEMENT EUCLIDEAN GEOMETRY METRIC GEOMETRY ALGEBRAICALLY CLOSED FIELD
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Artificial Intelligence
WOS记录号	WOS:A1992KV19500004
出版者	SPRINGER VERLAG
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/27689
专题	中国科学院数学与系统科学研究院
通讯作者	CHOU, SC
作者单位	CHINESE ACAD SCI,INST SYST SCI,BEIJING,PEOPLES R CHINA
推荐引用方式 GB/T 7714	CHOU, SC,GAO, XS. PROVING GEOMETRY STATEMENTS OF CONSTRUCTIVE TYPE[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE,1992,607:20-34.
APA	CHOU, SC,&GAO, XS.(1992).PROVING GEOMETRY STATEMENTS OF CONSTRUCTIVE TYPE.LECTURE NOTES IN ARTIFICIAL INTELLIGENCE,607,20-34.
MLA	CHOU, SC,et al."PROVING GEOMETRY STATEMENTS OF CONSTRUCTIVE TYPE".LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 607(1992):20-34.