沃尔迪尔·罗克。;多斯桑托斯，雷纳托·P·。 时空嵌入中的计算机代数。 （英语） Zbl 0748.53001号 J.塞姆。计算。 12，第3期，381-389（1991）. 设（V^4）是一个时空（=签名的伪黎曼流形（3,1）），等距地嵌入到伪核素流形（M^{4+n}）中。本文的主要结果是一个算法，它确定了（M^{4+n}）中（V^4）的法向量，然后找到第二基本形式和扭转向量。作者提到，他们在代数计算系统REDUCE中实现了该算法。作为一个例子，他们研究了嵌入在6维伪核素流形中的Schwarzschild时空。审核人：C.Bär（波恩） 引用于1文件 MSC公司： 53-04 微分几何相关问题的软件、源代码等 53B30码 洛伦兹度量的局部微分几何 68瓦30 符号计算和代数计算 关键词：施瓦西溶液;第二基本形式;算法;法线向量;扭转向量 软件：减少 PDF格式BibTeX公司 XML格式引用 \textit{W.L.Roque}和\textit{R.P.Dos Santos}，J.Symb。计算。12，第3号，381--389（1991；Zbl 0748.53001） 全文： 内政部 arXiv公司 参考文献： [1] Davenport，J.H。；Siret，Y。；Tournier，E.（计算机代数：代数计算的系统和算法（1988），学术出版社）·Zbl 0679.68058号 [2] 艾森哈特，L.P.（黎曼几何（1946），普林斯顿大学出版社） [3] 霍金，S.W。；Ellis，G.F.R.，（《大尺度时空结构》（1973），剑桥大学出版社）·Zbl 0265.53054号 [4] Hearn，A.C.，（REDUCE手册（1986），兰德公司：兰德公司圣莫尼卡） [5] Maia，M.D.，《高斯-柯达齐-里奇方程的物理学》，Mat.Aplic。公司。。（《论卡鲁扎·克莱因相对论》，《卡鲁扎·布莱因相对论Gen.Rel.Grav.》，18（1986）），5695-699（1986）·Zbl 0648.53044号 [6] 医学博士迈亚。；Roque，W.L.，经典膜宇宙学，物理学。莱特。A、 139121-124（1988） [7] Rayna，G.（REDUCE；代数计算软件（1987），Springer-Verlag）·Zbl 0642.68060号 [8] Rosen，J.，各种相对论黎曼空间在伪核素空间中的嵌入，Rev.Mod。物理学，87，204-214（1965）·Zbl 0125.21203号 [9] Stauffer，D。；Hehl，F.W。；Winkelmann，V。；Zabolitsky，J.G.（计算机模拟和计算机代数（1988），Springer-Verlag）·Zbl 0671.68001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。