Ordering in mechanical geometry theorem proving

CSpace

	Ordering in mechanical geometry theorem proving
	Li, HB
	1997-03-01
发表期刊	SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY
ISSN	1006-9283
卷号	40 期号:3 页码:225-233
摘要	Ordering in mechanical geometry theorem proving is studied from geometric viewpoint and some new ideas are proposed. For Thebault's theorem which is the most difficult theorem that has ever been proved by Wu' s method, a very simple proof using Wu's method under a linear order is discovered.
关键词	Wu's method order Thebault's theorem
语种	英语
WOS研究方向	Mathematics
WOS类目	Mathematics, Applied ; Mathematics
WOS记录号	WOS:A1997XD00200001
出版者	SCIENCE CHINA PRESS
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/28905
专题	中国科学院数学与系统科学研究院
通讯作者	Li, HB
作者单位	CHINESE ACAD SCI,INST SYST SCI,BEIJING 100080,PEOPLES R CHINA
推荐引用方式 GB/T 7714	Li, HB. Ordering in mechanical geometry theorem proving[J]. SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY,1997,40(3):225-233.
APA	Li, HB.(1997).Ordering in mechanical geometry theorem proving.SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY,40(3),225-233.
MLA	Li, HB."Ordering in mechanical geometry theorem proving".SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY 40.3(1997):225-233.