×

传感器

swMATH标识: 55
软件作者: 五、 A.伊林,A.P.克鲁科夫
说明: 用于张量简化的ATENSOR-REDUCE程序。问题性质:简化张量表达式,考虑多项线性恒等式、对称关系和重命名虚拟索引。这个问题对于重力理论、微分几何和其他出现索引对象的领域的计算都是很重要的。求解方法:利用置换群的群代数技术构造正则子空间和相应投影的有效算法。
主页: http://cpc.cs.qub.ac.uk/summaries/ADDQ_v1_0.html
编程语言: 减少。
操作系统: UNIX系统。
关键词: 张量;对称性;多项线性恒等式;虚拟指数;简化;置换群;减少;计算机代数。
相关软件: 数学张量;里格姆;因瓦;减少;X传感器;格滕索里;地籍;利玛窦;红草莓;形式;佳能;绵羊;雷登;枫木;外部;微分几何;马克西玛;伊普顿;蟒蛇;xCore公司
参考文献: 12种出版物

按年份引用出版物