中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
Intrinsic differential geometry with geometric calculus

文献类型:期刊论文

作者Li, HB; Cao, LN; Cao, NB; Sun, WK
刊名COMPUTER ALGEBRA AND GEOMETRIC ALGEBRA WITH APPLICATIONS
出版日期2005
卷号3519页码:207-216
关键词intrinsic differential geometry Clifford algebra mathematics mechanization symbolic geometric computing
ISSN号0302-9743
英文摘要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.
WOS研究方向Computer Science ; Mathematics
语种英语
WOS记录号WOS:000230362900017
出版者SPRINGER-VERLAG BERLIN
源URL[http://ir.amss.ac.cn/handle/2S8OKBNM/1476]  
专题中国科学院数学与系统科学研究院
通讯作者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.

入库方式: OAI收割

来源:数学与系统科学研究院

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。