ATENSOR公司 swMATH ID: 55 软件作者： V.A.Ilyin，A.P.Kryukov 描述： ATENSOR-用于张量简化的REDUCE程序。问题性质：考虑到多项线性恒等式、对称关系和重命名伪指数，简化张量表达式。这个问题对于重力理论、微分几何和其他出现索引对象的领域中的计算非常重要。求解方法：应用置换群的群代数技术构造正则子空间，并给出相应投影的有效算法。 主页： http://cpc.cs.qub.ac.uk/summaries/ADDQ_v1_0.html 编程语言： 减少。 操作系统： UNIX。 关键词： 张索尔;对称;多项线性恒等式;虚拟索引;简化;置换组;减少;计算机代数。 相关软件： 数学张量;里杰姆;因瓦;减少;x张量;GRTensorII型;卡达布拉;里奇;红草莓;表格;佳能;绵羊;雷登;枫树;微分几何;马克西玛;xTerior公司;数字Py;马特普洛特利布;IPython公司 引用于： 12文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 ATENSOR–REDUCE程序用于张量简化。 Zbl 0921.65035号V.A.伊林。;Kryukov，A.P。 1996 全部的 前5名14位作者引用 4 刘江 2 Kryukov，A.P。 1 Akbarzadeh-T、Mohammad-R 1 曹元浩 1 伯恩德·菲德勒 1 伊利因，V.A。 1 Anna V.Korolkova。 1 德米特里·谢尔盖维奇·库利亚波夫 1 李洪波 1 倪，冯 1 皮特斯、卡斯珀 1 法纳兹·萨巴希 1 塞瓦斯特亚诺夫，列奥尼德·安东诺维奇 1 格里高里·施皮兹。 全部的 前5名引用于7个系列 三 计算机物理通信 三 编程和计算机软件 1 Zeitschrift für分析和ihre Anwendungen 1 符号计算杂志 1 国际近似推理杂志 1 中国科学。系列A 1 系统科学与复杂性杂志 全部的 前5名11个领域引用 6 计算机科学（68至XX） 4 微分几何（53至XX） 2 交换代数（13-XX） 2 数值分析（65-XX） 1 组合数学（05-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 结合环与代数（16-XX） 1 群论与推广（20-XX） 1 概率论与随机过程（60-XX） 1 量子理论（81-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的引文