Intrinsic differential geometry with geometric calculus

CSpace

	Intrinsic differential geometry with geometric calculus
	Li, HB; Cao, LN; Cao, NB; Sun, WK
	2005
发表期刊	COMPUTER ALGEBRA AND GEOMETRIC ALGEBRA WITH APPLICATIONS
ISSN	0302-9743
卷号	3519 页码:207-216
摘要	Setting up a symbolic algebraic system is the first step in mathematics mechanization of any branch of mathematics. In this paper, we establish a compact symbolic algebraic framework for local geometric computing in intrinsic differential geometry, by choosing only the Lie derivative and the covariant derivative as basic local differential operators. In this framework, not only geometric entities such as the curvature and torsion of an affine connection have elegant representations, but their involved local geometric computing can be simplified.
关键词	intrinsic differential geometry Clifford algebra mathematics mechanization symbolic geometric computing
语种	英语
WOS研究方向	Computer Science ; Mathematics
WOS类目	Computer Science, Theory & Methods ; Mathematics, Applied
WOS记录号	WOS:000230362900017
出版者	SPRINGER-VERLAG BERLIN
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/1477
专题	中国科学院数学与系统科学研究院
通讯作者	Li, HB
作者单位	Chinese Acad Sci, Math Mechanizat Key Lab, Acad Math & Syst Sci, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Li, HB,Cao, LN,Cao, NB,et al. Intrinsic differential geometry with geometric calculus[J]. COMPUTER ALGEBRA AND GEOMETRIC ALGEBRA WITH APPLICATIONS,2005,3519:207-216.
APA	Li, HB,Cao, LN,Cao, NB,&Sun, WK.(2005).Intrinsic differential geometry with geometric calculus.COMPUTER ALGEBRA AND GEOMETRIC ALGEBRA WITH APPLICATIONS,3519,207-216.
MLA	Li, HB,et al."Intrinsic differential geometry with geometric calculus".COMPUTER ALGEBRA AND GEOMETRIC ALGEBRA WITH APPLICATIONS 3519(2005):207-216.