卡维安,马苏德;麦克莱纳汉,R.G。;格迪斯,K.O。 MapleTensor:关于使用符号计算执行指数和分量张量计算的新系统的进度报告。 (英语) Zbl 0923.53002号 Lakshman,Y.N.(编辑),《1996年符号和代数计算国际研讨会论文集》,1996年7月24日至26日,瑞士苏黎世,ISSAC’96。纽约州纽约市:ACM出版社。204-211 (1996). 在第一章中,作者描述了新的代数计算包MapleTensor(MT)的最新进展,该计算包用于进行指数张量和分量张量计算。机器翻译目前超过20000行代码,主要是用C++编程语言编写的[参见T.A.巴德,“C++中的经典数据结构”(Addison-Wesley,阿姆斯特丹)(1994;Zbl 0849.68016号);B.斯特劳斯特鲁普《C++编程语言》(The C++programming language)(代表)(马萨诸塞州Addison-Wesley Publishing Company,Massachusetts)(1986年;Zbl 0609.68011号)]使用计算机代数系统(CAS)MAPLE的设施,并且可以很容易地适应其他CAS,例如MATHEMATICA。MT的一些功能与现有的张量包、MACSYMA中的ITENSOR、SHEEP中的STENSOR,MATHTENSOR和MATHEMATICA中的RICCI类似。在第二章中,作者讨论了张量的面向对象设计策略。然后在第3-8章中,他们给出了机器翻译中的一些例子:基本张量运算(字符串处理器、协变微分、度量张量收缩、(反)对称化、分量演化等)、张量分量计算的编译器、张量的定义、代数表达式的简化、,运动框架中张量的定义,扭转几何的实现。在第9章中,给出了机器翻译的应用列表:张量在法向坐标系中的展开[参见R.G.麦克莱纳汉,亨利·庞加莱研究所。,第节。A 20,153-188(1974;Zbl 0287.35058号);W.G.安德森和R.G.麦克莱纳汉安妮·亨利·彭卡雷(Ann.Inst.Henri Poincaré),《物理学》。塞奥尔。60, 373-432 (1994;Zbl 0806.35104号)]、广义相对论(物质包)、爱因斯坦-麦克斯韦场方程(电动力学包)、比安奇宇宙学、截断幂级数展开式、微分形式H.法兰德斯,“微分形式。《物理科学应用》(科学与工程中的数学11,学术出版社,纽约-朗登)(1963年;兹比尔0112.32003)],等价问题(两个几何体的扭转)。关于整个系列,请参见[Zbl 0903.00081号].审核人:弗拉基米尔·余(Vladimir Yu)。罗文斯基(海法) 引用于2文件 MSC公司: 53-04 微分几何相关问题的软件、源代码等 68瓦30 符号计算和代数计算 53A45型 向量和张量分析中的微分几何 83-04 相对论和引力理论相关问题的软件、源代码等 83C22号 爱因斯坦-麦克斯韦方程组 83个F05 相对论宇宙学 58A10号 整体分析中的微分形式 关键词:张量;黎曼曲率;符号计算;MAPLE公司;面向对象设计 引文:Zbl 0849.68016号;Zbl 0609.68011号;Zbl 0287.35058号;Zbl 0806.35104号;Zbl 0112.32003号 软件:枫树;MapleTensor公司;数学软件;绵羊;伊斯兰教;NP公司;投标人 PDF格式BibTeX公司 XML格式引用 \textit{M.Kavian}等人,《1996年符号和代数计算国际研讨会论文集》,1996年7月24日至26日,瑞士苏黎世,ISSAC’96。纽约州纽约市:ACM出版社。204-211(1996;Zbl 0923.53002)