马丁·加西亚，J.M。;伊莱恩斯，D。;葡萄牙，R。 这个因瓦张量包：黎曼的微分不变量。 （英语） Zbl 1197.15001号 计算。物理学。Commun公司。 179，第8号，586-590（2008）. 小结：对于所有（6乘以10^{23}）具有多达12个度量导数的对象，计算解决了长期存在的黎曼张量标量不变量之间的关系问题。这涵盖了从最多6个未微分黎曼张量的乘积到最多10个单个黎曼协变导数的情况。我们扩展了我们的计算机代数系统因瓦在几秒钟内为这些对象中的任何一个生成基的规范形式。其过程如下：（1）实时地将不变量转换为关于黎曼张量置换对称性的标准形式；(2)因瓦读取一个超过（6乘以10^{5}）关系的数据库，并应用来自黎曼张量循环对称性的关系；（3） 然后应用来自Bianchi恒等式的关系，（4）来自协变导数交换的关系，以及（5）维度4的维度相关恒等式，最后（6）简化可表示为对偶不变量乘积的不变量。因瓦运行在张量计算机代数系统之上x张量（用于数学软件)以及佳能（用于枫树). 引用于27文件 MSC公司： 15-04 线性代数相关问题的软件、源代码等 关键词：黎曼张量;张量演算;数学软件;枫树;计算机代数 软件：数学软件;因瓦;枫树;x张量;佳能 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Martín-García}等人，《计算》。物理学。Commun公司。179，第8号，586--590（2008；Zbl 1197.15001） 全文： 内政部 arXiv公司 参考文献： [1] 马丁·加西亚，J.M。；葡萄牙，R。；Manssur，L.R.U.，公司。物理学。社区。，177, 640-648 (2007) ·Zbl 1196.15006号 [2] 斯内登，G.E.，J.数学。物理。，40, 5905-5920 (1999) ·Zbl 0957.53008号 [3] Lim，A.E.K。；Carminia，J.，J.数学。物理。，48, 082503 (2007) [4] Bonnor，W.B.，班级。量子引力。，11, 2007-2012 (1994) [5] 马斯格雷夫，P。；莱克，K.，等级。量子引力。，12，L39-L41（1995）·Zbl 0824.53082号 [6] 戈洛夫，M.H。；萨格诺蒂，A.，Nucl。物理学。B、 266709-736（1986） [7] Wands，D.，类别。量子引力。，11, 269-280 (1994) [8] 艾耶，V。；Wald，R.M.，物理学。D版，52，4430-4439（1995） [9] 富林，S.A.，班级。量子引力。，9, 1151-1197 (1992) ·Zbl 0991.53517号 [10] Manssur，L.R.U。；葡萄牙，R。；斯瓦特，B.F.，《国际现代物理学杂志》。C、 13859-879（2002）·Zbl 1086.65515号 [11] J.M.Martín-García，x张量，张量表达式的快速操纵器，2002-2008，http://metric.iem.csic.es/Martin-Garcia/xAct/; 马丁·加西亚，x张量，张量表达式的快速操纵器，2002-2008，http://metric.iem.csic.es/Martin-Garcia/xAct/ [12] Manssur，L.R.U。；葡萄牙共和国。物理学。社区。，157, 173-180 (2004) ·Zbl 1196.68331号 [13] D.Lovelock，程序。剑桥菲洛斯。Soc.68345-350；D.Lovelock，程序。剑桥菲洛斯。Soc.68、345-350号·Zbl 0197.48301号 [14] 埃德加，S.B。；Höglund，A.，J.数学。物理。，43, 659-677 (2002) ·Zbl 1052.53022号 [15] Wald，R.M.，《广义相对论》（1984），芝加哥大学出版社：芝加哥大学出版社，见第31页·Zbl 0549.53001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。