On Miquel's five-circle theorem

CSpace

	On Miquel's five-circle theorem
	Li, HB; Xu, RH; Zhang, N
	2005
发表期刊	COMPUTER ALGEBRA AND GEOMETRIC ALGEBRA WITH APPLICATIONS
ISSN	0302-9743
卷号	3519 页码:217-228
摘要	Miquel's Five-Circle Theorem is difficult to prove algebraically. In this paper, the details of the first algebraic proof of this theorem is provided. The proof is based on conformal geometric algebra and its accompanying invariant algebra called null bracket algebra, and is the outcome of the powerful computational techniques of null bracket algebra embodying the novel idea breefs.
关键词	Miquel's theorem mathematics mechanization conformal geometric algebra null bracket algebra "breefs"
语种	英语
WOS研究方向	Computer Science ; Mathematics
WOS类目	Computer Science, Theory & Methods ; Mathematics, Applied
WOS记录号	WOS:000230362900018
出版者	SPRINGER-VERLAG BERLIN
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/2148
专题	中国科学院数学与系统科学研究院
通讯作者	Li, HB
作者单位	Chinese Acad Sci, Math Mechanizat Key Lab, Acad Math & Syst Sci, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Li, HB,Xu, RH,Zhang, N. On Miquel's five-circle theorem[J]. COMPUTER ALGEBRA AND GEOMETRIC ALGEBRA WITH APPLICATIONS,2005,3519:217-228.
APA	Li, HB,Xu, RH,&Zhang, N.(2005).On Miquel's five-circle theorem.COMPUTER ALGEBRA AND GEOMETRIC ALGEBRA WITH APPLICATIONS,3519,217-228.
MLA	Li, HB,et al."On Miquel's five-circle theorem".COMPUTER ALGEBRA AND GEOMETRIC ALGEBRA WITH APPLICATIONS 3519(2005):217-228.