×
卡维安，马苏德;麦克莱纳汉，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）