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
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。