I.M.安德森。;C.G.托瑞。 微分几何、引力和场论的新符号工具。 （英语） Zbl 1273.83013号 数学杂志。物理学。 53，第1期，013511，12页（2012）. 摘要：DifferentialGeometry是一个Maple软件包，它象征性地执行流形、微分几何、张量微积分、旋量微积分，李代数、李群、变换群、喷射空间和变分微积分的基本运算。这些能力，再加上最近在解决代数和微分方程的符号方法方面取得的巨大进步，为解决引力和场论研究问题提供了强大的新工具。本文的目的是描述这些新工具，并介绍一些高级应用，包括：Killing向量场和等距群、Killing张量、爱因斯坦方程解的代数分类以及场方程的对称约简。{©2012美国物理研究所} 引用于14文件 MSC公司： 83二氧化碳 爱因斯坦方程（一般结构、正则形式主义、柯西问题） 83立方厘米 广义相对论和引力理论中问题的精确解 83C20美元 溶液类别；广义相对论和引力理论中问题的代数特解、具有对称性的度量 68瓦30 符号计算和代数计算 83-08 相对论和引力理论相关问题的计算方法 58-04 与全局分析有关的问题的软件、源代码等 2004年3月 与微分几何有关的问题的软件、源代码等 22-04 与拓扑组有关的问题的软件、源代码等 49-04 与变分法和最优控制有关的问题的软件、源代码等 关键词：枫树软件包微分几何 软件：微分几何;枫树 PDF格式BibTeX公司 XML格式引用 \textit{I.M.Anderson}和\textit{C.G.Torre}，J.数学。物理学。53，第1期，013511，12页（2012；Zbl 1273.83013） 全文： 内政部 arXiv公司 参考文献： [1] Acvevedo M.，电子。J.西奥。《物理9》第79页–（2006） [2] DOI:10.1007/s002200000215·Zbl 0961.35007号 ·doi:10.1007/s002200000215 [3] Anderson I.，CRM程序。莱克特。注释29第95页–（2001） [4] Cook，S.《哥德尔宇宙中的Killing旋量和仿射对称张量》，俄勒冈州立大学博士论文，2009年。 [5] 内政部：10.1088/0264-9381/19/4/303·Zbl 0989.83007号 ·doi:10.1088/0264-9381/19/4/303 [6] Heck A.，枫叶简介（2003）·Zbl 1020.65001号 ·doi:10.1007/978-1-4613-0023-6 [7] 小林石S.，《微分几何基础》（1969年）·Zbl 0175.48504号 [8] 内政部：10.1007/BF01328918·doi:10.1007/BF01328918 [9] 内政部：10.1063/1.522729·兹伯利0314.22007 ·doi:10.1063/1.522729 [10] DOI:10.1017/CBO9780511535185·doi:10.1017/CBO9780511535185 [11] 内政部：10.1007/s10714-006-0255-8·Zbl 1134.83309号 ·doi:10.1007/s10714-006-0255-8 [12] DOI:10.1023/B:GERG.0000018087.58855.57·Zbl 1065.83047号 ·doi:10.1023/B:GERG.0000018087.58855.57 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。