戈梅斯·洛博（Gómez-Lobo）、阿方索·加西亚·帕拉多（Alfonso García-Parrado）;马丁·加西亚，何塞·M。 旋量：在广义相对论中进行旋量微积分的Mathematica包。 （英语） Zbl 1296.83004号 计算。物理学。Commun公司。 183，第10期，2214-2225（2012）. 摘要：旋量软件是一个数学软件该软件包实现了彭罗斯为广义相对论设计的二维旋量演算。这个旋量软件是x行动系统，它是数学软件用计算机进行张量分析的软件包。在本文中，我们对旋量并提供实际使用示例。程序摘要程序标题：微调{}目录标识符：AEMQ_v1_0{}程序摘要URL:http://cpc.cs.qub.ac.uk/summaries/AEMQ_v1_0.html{}程序可从：北爱尔兰贝尔法斯特女王大学CPC项目图书馆{}许可规定：标准CPC许可，http://cpc.cs.qub.ac.uk/licence/licence.html{}分布式程序中的行数，包括测试数据等。：117039{}分布式程序中的字节数，包括测试数据等。: 300404{}分发格式：目标.gz{}程序设计语言：Mathematica。{}电脑类：任何运行Mathematica 7.0或更高版本的计算机。{}操作系统：任何与Mathematica 7.0或更高版本兼容的操作系统。{}皇家音乐学院：Mathematica 8.0中的94Mb{}分类: 1.5.{}外部例程：Mathematica包xCore、xPerm和xTensor，它们是xAct系统的一部分。这些可以在网址：http://www.xact.es.{}问题的性质：操纵和简化广义相对论中的旋量表达式。{}解决方法：针对四维洛伦兹几何中旋量演算的特定情况，调整xAct系统的张量功能。{}限制：该软件仅适用于签名度量为（1，-1，-1，-1\）的四维洛伦兹时空。没有直接支持狄拉克旋量。{}异常功能：将张量表达式转换为旋量表达式的简单规则。旋量表达式的抽象索引操作与组件计算的无缝集成。{}运行时间：在一秒钟内处理和规范化具有几十个索引的标准旋量表达式。（这些表达式在旋量表达式转换为张量表达式时自然出现，反之亦然）。 引用于7文件 MSC公司： 83-04 相对论和引力理论相关问题的软件、源代码等 83C60个 广义相对论和引力理论中的旋量和扭量方法；Newman-Penrose形式主义 关键词：广义相对论;旋量演算;张量分析;张量计算机代数 软件：x张量;x珀特;数学软件;x行动;旋量;xPerm（xPerm）;Cadabra公司;因瓦;x核心;枫树;NP公司;S@M PDF格式BibTeX公司 XML格式引用 \textit{A.G.P.Gómez-Lobo}和\textit{J.M.Martín-GarcíA}，计算。物理学。Commun公司。183，第10号，2214--2225（2012；Zbl 1296.83004） 全文： 内政部 arXiv公司 参考文献： [1] 彭罗斯，R.，《广义相对论的旋量方法》，《物理学年鉴》，10171-201（1960）·兹比尔0091.21404 [2] Martín-García，J.M.，xAct:有效张量计算机代数 [3] Maìtre，D。；Mastrolia，P.，S@m，旋量引出式的数学实现，计算。物理学。Comm.，179，7，501-534（2008）·Zbl 1197.83007号 [4] Peeters，K.，介绍Cadabra：场理论问题的符号计算机代数系统·Zbl 1196.68333号 [5] 捷克共和国。；McLenaghan，R.G。；Carminia，J.，《MAPLE中旋量方程到二元形式的自动转换》，《相对论引力》，24，9，911-928（1992）·Zbl 0758.53047号 [6] 彭罗斯，R。；Rindler，W.（自旋和时空。自旋和时空，剑桥数学物理专著，第1卷（1987），剑桥大学出版社：剑桥大学出版社） [7] Ashtekar，A.，（非微扰标准引力讲座。非微扰规范引力讲座，天体物理学和宇宙学高级系列（1991），世界科学：世界科学新加坡）·Zbl 0948.83500号 [8] Nakahara，M.（几何、拓扑和物理。几何、拓扑和物理，物理学研究生系列（1990年），Adam Hilger Ltd.：Adam Hilger Ltd.布里斯托尔）·Zbl 0764.53001号 [9] Ashtekar，A。；Horowitz，G.T。；Magnon-Ashtekar，A.，张量微积分的推广及其在物理学中的应用，《相对论引力》，14，5，411-428（1982）·Zbl 0491.53059号 [10] Schouten，J.A.，（Ricci Calculus.Ricci Calculus，Die Grundlehren der Matematischen Wissenschaften（1954），施普林格出版社：柏林施普林格）·Zbl 0057.37803号 [11] Martín-García，J.M.，xPerm:张量计算机代数的快速索引规范化，计算。物理学。Comm.，179，597-603（2008）·Zbl 1197.15002号 [12] 马丁·加西亚，J.M。；葡萄牙，R。；Manssur，L.，《因瓦张量包》，计算。物理学。Comm.，177，8，640-648（2007）·Zbl 1196.15006号 [13] 马丁·加西亚，J.M。；Yllanes博士。；葡萄牙，R.，《因瓦张量包：黎曼的微分不变量》，计算。物理学。Comm.，179、8、586-590（2008）·Zbl 1197.15001号 [14] Brizuela，D。；马丁·加西亚，J.M。；Mena Marugán，G.A.，xPert:度量微扰理论的计算机代数，相对论引力，41，10，2415-2431（2009）·Zbl 1176.83004号 [15] 巴克达尔，T。；Valiente Kroon，J.A.，《关于测量克尔数据偏差的几何不变量的构造》，Ann.Henri Poincaré，11225-1271（2010）·Zbl 1208.83027号 [16] 巴克达尔，T。；Valiente Kroon，J.A.，《测量克尔数据偏差的几何不变量》，Phys。修订稿。，104, 231102 (2010), 4 [17] Bäckdahl，T。；Valiente Kroon，J.A.，黑洞外部通信领域和恒星外部的“非克尔性”，Proc。R.Soc.A，4671701-1718（2011）·Zbl 1228.83056号 [18] 埃德加，S.B。；加西亚·帕拉多，a。；Martín-García，J.M.，《重访Petrov真空空间：恒等式和不变分类》，《经典量子引力》，26，10，105022（2009），13·Zbl 1166.83015号 [19] Witten，E.，正能量定理的新证明，《通信数学》。物理。，80, 3, 381-402 (1981) ·Zbl 1051.83532号 [20] Nester，J.M.，一个新的引力能表达式，带有简单的正证明，Phys。莱特。A、 83、6、241-242（1981） [21] Frauendiener，J.，能量动量伪张量的几何描述，经典量子引力，6，12，L237-L241（1989）·Zbl 0687.53071号 [22] Szabados，L.B.，关于正则伪张量、Sparings形式和Noether流，经典量子引力，9，11，2521-2541（1992）·Zbl 0776.53060号 [23] Stewart，J.，（高等广义相对论，高等广义相对主义，剑桥数学物理专著（1991），剑桥大学出版社：剑桥大学出版社） [24] Bergqvist，G.，正能量定理的简化旋量证明，物理学。修订版D（3），48,2628-630（1993） 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。