ATENSOR-REDUCE张量简化程序

@在过程中{VAIlyin2018ATENSORR，title={ATENSOR-张量简化的REDUCE程序}，作者={V.A.Ilyin和A.P.Kryukov}，年份={2018年}，网址={https://api.semanticscholar.org/CorpusID:53289079}}
[PDF]语义阅读器
7引文
方法引文
三

询问这篇论文
贝塔
AI供电

我们的系统试图限制本文中找到的信息。结果质量可能有所不同。了解更多信息关于我们如何产生这些答案。

7引文

带指数多项式表达式的规范表示

本文简要介绍了将带指标的表达式化简为标准形式的一些基本方法，并给出了抽象指标变量的多项式（乘法）表达式的标准表示的定义，这些抽象指标是对某个有限群作用下的初始表达式求平均值的结果。

张量计算机代数中的隐藏规范化

本文提出了一种处理涉及张量多项对称性的张量表达式的替代策略，该策略对用户完全隐藏了规范形式，并在Cadabra计算机代数系统中实现了这一思想。

Cadabra计算机代数系统第二版的新特性

与第一个版本相比，最显著的改进是组件计算的实现和Cadabra软件机制思想的改变。

黎曼张量多项式环的正规化

确定黎曼张量指数多项式的等价性是计算机代数中最古老的研究课题之一。然而，自Gröbner基础以来，这仍然是一个具有挑战性的问题…

图代数扩展的黎曼张量多项式规范化

本文建立了图代数的扩张理论，并基于多项困难提出了一种基于该理论的黎曼张量多项式规范化算法。

关于Lovelock产品中的术语数量

在这个简短的注释中，我们想知道p-th Lovelock乘积展开的显式表达式。我们使用了S.A.Fulling等人20世纪90年代关于黎曼张量对称性的著作，以及…

重力研究中的计算机代数

讨论了计算机代数的一般性质，以及CA系统设计的一些方面；考虑GR要求的特殊特性；提供了有关GR中CA的包的信息，既适用于当前可用的包，也适用于其前身。

4参考文献

计算机代数：符号和代数计算

本卷是第一本系统完整的计算机代数教程，介绍了计算机代数的基本问题以及目前已知的最佳算法及其数学基础，并完整参考了原始文献。

计算机编程的艺术

《法西斯莱斯的历史》出版了七卷本分册，以B.B.Knuth在1962年至1973年期间写的一本有十二章的书为基础。

扩大REDUCE计算域

描述了当前REDUCE系统中引入新数学域的可用方法，并讨论了几个显著增加整个系统功率的新域。