传感器

用于张量简化的ATENSOR-REDUCE程序。问题性质:简化张量表达式,考虑多项线性恒等式、对称关系和重命名虚拟索引。这个问题对于重力理论、微分几何和其他出现索引对象的领域的计算都是很重要的。求解方法:利用置换群的群代数技术构造正则子空间和相应投影的有效算法。 (资料来源:http://www.qus.com.cn//)