传感器

用于张量简化的ATENSOR-REDUCE程序。问题性质：简化张量表达式，考虑多项线性恒等式、对称关系和重命名虚拟索引。这个问题对于重力理论、微分几何和其他出现索引对象的领域的计算都是很重要的。代数群的正则化方法是构造群的有效方法。 (资料来源：http://cpc.cs.qub.ac.uk/summaries/)

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献，1标准件)

显示第1到第8个结果，共8个。
按年份排序(引用)

  1. 刘江：黎曼张量多项式环的规范化（2018）
  2. Liu，Jiang:基于函数距离不变量的指数差分规范化（2017）
  3. Sabahi，Farnaz；Akbarzadeh-T，Mohammad-R.：在司法决策中引入模糊概率的有效性（2014）
  4. 刘江；李洪波；曹元浩：涉及坐标变换的指数差分的简化与规范化（2009）
  5. 皮特尔斯，卡斯珀：卡达布拉：场理论驱动的符号计算机代数系统（2007）
  6. 葡萄牙，R.：简化张量表达式的算法（1998）
  7. 菲德勒，B.：理想分解在张量表达式的计算机代数中的应用（1997）
  8. 简化程序