利奥·布雷文 简介卡达布拉：广义相对论中张量计算的工具。 （英语） Zbl 1206.83007号 计算。物理学。Commun公司。 181，第3期，489-498（2010）. 总结：卡达布拉是一个强大的计算机程序，用于处理张量方程。它是为高能物理而设计的，但其丰富的结构和易用性很好地满足了广义相对论所需的常规计算。在这里，我们提供了一系列简单的示例，说明如何卡达布拉可以使用，包括验证Levi-Civita连接是公制连接，以及导出诱导曲率和环境曲率之间的高斯方程。 引用于6文件 MSC公司： 83-08 相对论和引力理论相关问题的计算方法 53Z05个 微分几何在物理学中的应用 83E05号 地球动力学和全息原理 关键词：代数计算;广义相对论;卡达布拉 软件：x行动;GRTensorII型;佳能;xPerm（xPerm）;数学张量;卡达布拉 PDF格式BibTeX公司 XML格式引用 \textit{L.Brewin}，计算。物理学。Commun公司。181，第3号，489--498（2010；Zbl 1206.83007） 全文： 内政部 arXiv公司 参考文献： [1] 马斯格雷夫，P。；Pollney，D。；莱克，K.，GRTensorII主页 [2] 马斯格雷夫，P。；Pollney，D。；Lake，K.，GRTensorII:广义相对论包，（Braham，S.P.；Gegenberg，J.D.；McKellar，R.J.，Proc.第六届加拿大广义相对论和相对论天体物理学会议（1996年），第15卷（1997年），Fields Institute for Research in Mathematical Sciences），307-311 [3] Peeters，K.，The Cadabra主页 [4] Peeters，K.，Cadabra:一个由场论驱动的符号计算机代数系统，《计算机物理通讯》，176，8，550-558（2007）·Zbl 1196.68333号 [5] Christensen，S.M。；Parker，L.，MathTensor主页 [6] Manssur，L.R.U。；葡萄牙，R.，《正典包：张量操纵器的快速内核》，计算机物理通信，157,2173-180（2004）·Zbl 1196.68331号 [7] 葡萄牙，R。；Sautú，S.L.，Maple在广义相对论中的应用，计算机物理通信，105，2-3，233-253（1997）·Zbl 1017.83500号 [8] Martín-García，J.，xAct:Mathematica的有效张量计算机代数 [9] Martín-García，J.，xPerm:张量计算机代数的快速索引规范化，计算机物理通信，179597-603（2008）·Zbl 1197.15002号 [10] MacPorts，MacPorts项目 [11] Chavel，I.，黎曼几何。《现代导论》（2006），剑桥大学出版社：剑桥大学出版社·1099.53001兹比尔 [12] Brewin，L.，Riemann法向坐标展开，使用Cadabra，Class。量子引力。，26, 175017 (2009) ·Zbl 1176.83003号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。