×

ATENOR–用于张量简化的REDUCE程序。 (英语) Zbl 0921.65035

摘要:本文提出了一个简化张量表达式的简化程序。该算法基于张量表达式在线性空间中作为向量的思想。这个线性空间是由相应张量表达式的群代数的所有元素构成的。这种方法允许我们用统一的方式简化具有对称性、和(伪)指数和多项恒等式的张量表达式。张量表达式的正则元是根据这个线性空间的基本向量定义的。该算法的主要限制是线性空间的维数等于\(N\)!,其中\(N\)是张量表达式的多个索引。程序使用REDUCE作为用户界面。

理学硕士:

65层30 其他矩阵算法(MSC2010)
65日元 数值算法的打包方法
15A72号 向量和张量代数,不变量理论
68立方厘米 符号计算与代数计算

软件:

传感器;减少
PDF格式 BibTeX公司 XML 引用

参考文献:

[1] 肖滕,J.A.,张量分析物理学家(1951),牛津大学·Zbl 0044.38302
[2] 奥布霍夫,于。N、 。;普罗宁,P.I.,波兰物理学报B,19341(1988)
[3] 罗迪奥诺夫,是的。;Taranov,A.Yu。,(87年欧洲通讯社,《比较科学》讲稿,第378卷(1989年)),192
[4] Ilyin,V.A.,(物理研究中计算机代数的第四期实习会议,物理研究中计算机代数的第四期实习会议,杜布纳,1990年5月22日至26日,苏联(1990年)),第190页
[5] 奈马克,M.A.,群体代表理论(1976),瑙卡:莫斯科诺卡,[俄语]
[6] 布赫伯格,B。;柯林斯,G.E。;《计算机代数-符号与代数计算》(1983),斯普林格:柏林斯普林格
[7] Hearn,A.C.,(REDUCE用户手册(1987),兰德公司出版物CP78),3.3版,7.87版
[8] 伊林,V.A。;Kryukov,A.P.,(Watt,S.,符号与代数计算国际研讨会,ISSAC'91.符号与代数计算国际研讨会,ISSAC'91,1991年7月15-17日,波恩(1991),ACM出版社:ACM出版社,纽约),224
[9] 伊林,V.A。;Kryukov,A.P.,(Perret Gallix,D.,《物理研究中的新计算技术II》,AIHENP-92(1992),世界科学:新加坡世界科学院),639-648
[10] 布拉德福德,R.J。;赫恩,A.C。;帕吉特,J.A。;Schrüfer,E.,扩大计算的简化域,(YMSAC’86(1986),ACM:ACM纽约),100
[11] Knuth,D.E.,(基本算法,计算机编程艺术,第1卷(1968),AddisondashWesley:AddisondashWesley Reading,MA)·Zbl 0191.17903
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。