Algebraic representation, elimination and expansion in automated geometric theorem proving

CSpace > 系统科学研究所

	Algebraic representation, elimination and expansion in automated geometric theorem proving
	Li, HB
	2004
发表期刊	AUTOMATED DEDUCTION IN GEOMETRY
ISSN	0302-9743
卷号	2930 页码:106-123
摘要	Cayley algebra and bracket algebra are important approaches to invariant computing in projective and affine geometries, but there are some difficulties in doing algebraic computation. In this paper we show how the principle "breefs" - bracket-oriented representation, elimination and expansion for factored and shortest results, can significantly simplify algebraic computations. We present several typical examples on automated theorem proving in conics and make detailed discussions on the procedure of applying the principle to automated geometric theorem proving.
关键词	Cayley algebra bracket algebra automated theorem proving projective geometry affine geometry conics
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Artificial Intelligence ; Computer Science, Interdisciplinary Applications
WOS记录号	WOS:000189423200007
出版者	SPRINGER-VERLAG BERLIN
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/19140
专题	系统科学研究所
通讯作者	Li, HB
作者单位	Chinese Acad Sci, Acad Math & Syst Sci, Math Mech Key Lab, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Li, HB. Algebraic representation, elimination and expansion in automated geometric theorem proving[J]. AUTOMATED DEDUCTION IN GEOMETRY,2004,2930:106-123.
APA	Li, HB.(2004).Algebraic representation, elimination and expansion in automated geometric theorem proving.AUTOMATED DEDUCTION IN GEOMETRY,2930,106-123.
MLA	Li, HB."Algebraic representation, elimination and expansion in automated geometric theorem proving".AUTOMATED DEDUCTION IN GEOMETRY 2930(2004):106-123.