J.卡米蒂娜。;Vu，K.T.先生。 GHP：用于执行Geroch-Held-Penrose形式主义计算的maple包。 （英语） Zbl 0986.83028号 Gen.Relative公司。引力 33，第2期，295-308（2001）. 作者摘要：我们提出了一个新的符号代数包，它是为Maple编写的，用于执行Geroch-Held-Penrose形式主义中的计算。通过研究爱因斯坦方程的Petrov-D真空解，我们展示了我们软件包的基本特性和功能。审核人：格罗西奥·斯坦尼洛夫（索非亚） 引用于2文件 MSC公司： 83C60个 广义相对论和引力理论中的旋量和扭量方法；纽曼-彭罗斯形式主义 83二氧化碳 爱因斯坦方程（一般结构、正则形式主义、柯西问题） 关键词：GHP形式主义;代数计算 软件：GHP公司;枫树;NP公司;正交框架 PDF格式BibTeX公司 XML格式引用 \textit{J.Carminati}和\textit{K.T.Vu}，Gen.Relative。《引力33》，第2期，第295-308页（2001年；Zbl 0986.83028） 全文： 内政部 参考文献： [1] Andersson，F.（2000）。GHP方程在时空中的积分，允许测地线无剪切扩展零同余。预打印。 [2] Czapor，S.R.和McLenaghan，R.G·兹比尔0613.53033 ·doi:10.1007/BF00762558 [3] Czapor，S.R.、McLenaghan，R.G.和Carminia，J·Zbl 0758.53047号 ·doi:10.1007/BF00759122 [4] Edgar，S.B.和Ludwig，G·Zbl 0789.53045号 ·doi:10.1007/BF02418213 [5] Edgar，S.B.和Ludwig，G·Zbl 0868.53060号 ·doi:10.1023/A:101020113770 [6] Edgar，S.B.和Ludwig，G·Zbl 0893.53034号 ·doi:10.1023/A:1018820031537 [7] Edgar，S.B.和Ludwig，G.（1999年）。GHP形式主义中的集成IV：一种新的Lie导数算子，可有效处理Killing向量。预打印·Zbl 1006.83007号 [8] G.F.R.埃利斯·doi:10.1063/1.1705331 [9] Ellis，G.F.R.（1969年）。相对论宇宙学、广义相对论和宇宙学：Proc。国际物理学院“Enrico Fermi”（课程四十七），R.K.Sachs编辑（学术出版社，伦敦，1971年）。 [10] Geroch，R.，Held，A.和Penrose，R·Zbl 0875.53014号 ·doi:10.1063/1.1666410 [11] 科拉西斯，C.和路德维希，G·Zbl 0786.53050号 ·doi:10.1007/BF00757073 [12] Ludwig，G.和Edgar，S.B·Zbl 0857.53060号 ·doi:10.1007/BF02104837 [13] MacCallum，M.A.H.（1971）。《从几何角度看宇宙学模型》（Carg'ese），第6卷（纽约：Gordon and Breach）。 [14] 彭罗斯（R.Penrose）和纽曼（E Newman）·Zbl 0108.40905号 ·doi:10.1063/1.1724257 [15] Van den Bergh，N.（1988年）。正交框架：用于在正交四边形形式主义中执行计算的Maple包。预打印·Zbl 0646.53060号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。