Clifford algebraic reduction method for automated theorem proving in differential geometry

CSpace

	Clifford algebraic reduction method for automated theorem proving in differential geometry
	Li, HB ; Cheng, MT
	1998-08-01
发表期刊	JOURNAL OF AUTOMATED REASONING
ISSN	0168-7433
卷号	21 期号:1 页码:1-21
摘要	In this paper a new method is proposed for mechanically proving theorems in the local theory of space curves. The method is based on Ritt-Wu's well-ordering principle of ordinary differential polynomials, Clifford algebraic representation of Euclidean space and equation set solving in Clifford algebra formalism. It has been tested by various theorems and seems to be efficient.
关键词	Wu's method Clifford algebra equation set solving local theory of space curves
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Artificial Intelligence
WOS记录号	WOS:000074512600001
出版者	KLUWER ACADEMIC PUBL
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/13542
专题	中国科学院数学与系统科学研究院
作者单位	1.Acad Sinica, MMRC, Inst Syst Sci, Beijing 100080, Peoples R China 2.Beijing Univ, Inst Math, Beijing 100871, Peoples R China
推荐引用方式 GB/T 7714	Li, HB,Cheng, MT. Clifford algebraic reduction method for automated theorem proving in differential geometry[J]. JOURNAL OF AUTOMATED REASONING,1998,21(1):1-21.
APA	Li, HB,&Cheng, MT.(1998).Clifford algebraic reduction method for automated theorem proving in differential geometry.JOURNAL OF AUTOMATED REASONING,21(1),1-21.
MLA	Li, HB,et al."Clifford algebraic reduction method for automated theorem proving in differential geometry".JOURNAL OF AUTOMATED REASONING 21.1(1998):1-21.