Vectorial equations solving for mechanical geometry theorem proving

CSpace

	Vectorial equations solving for mechanical geometry theorem proving
	Li, JB
	2000-08-01
发表期刊	JOURNAL OF AUTOMATED REASONING
ISSN	0168-7433
卷号	25 期号:2 页码:83-121
摘要	In this paper a new method is proposed for mechanical geometry theorem proving. It combines vectorial equations solving in Clifford algebra formalism with Wu's method. The proofs produced have significantly enhanced geometric meaning and fewer nongeometric nondegeneracy conditions.
关键词	mechanical theorem proving Wu's method Clifford algebra vectorial equations solving the area method
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Artificial Intelligence
WOS记录号	WOS:000087594000001
出版者	KLUWER ACADEMIC PUBL
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/15090
专题	中国科学院数学与系统科学研究院
作者单位	Acad Sinica, Inst Syst Sci, MMRC, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Li, JB. Vectorial equations solving for mechanical geometry theorem proving[J]. JOURNAL OF AUTOMATED REASONING,2000,25(2):83-121.
APA	Li, JB.(2000).Vectorial equations solving for mechanical geometry theorem proving.JOURNAL OF AUTOMATED REASONING,25(2),83-121.
MLA	Li, JB."Vectorial equations solving for mechanical geometry theorem proving".JOURNAL OF AUTOMATED REASONING 25.2(2000):83-121.