INVAR: COMPUTER ALGEBRA FOR THE INVARIANTS OF THE RIEMANN TENSOR

被引：10

作者：

Martin-Garcia, J. M. ^{[1
]}

Yllanes, D. ^{[1
]}

Portugal, R. ^{[2
]}

机构：

[1] CSIC, Inst Estruct Mat, C Serrano 123, E-28006 Madrid, Spain

[2] LNCC, BR-25651075 Petropolis, RJ, Brazil

来源：

SPANISH RELATIVITY MEETING, ERE2007: RELATIVISTIC ASTROPHYSICS AND COSMOLOGY | 2008年 / 30卷

关键词：

D O I：

10.1051/eas:0830031

中图分类号：

P1 [天文学];

学科分类号：

0704 ;

摘要：

We report on the systematic listing of polynomial relations among the algebraic invariants of a Riemann tensor. We construct all such relations for the 3 x 10(29) invariants with tip to seven Riemann tensors, and provide the computer algebra system Invar (both for Mathematica and Maple) which uses them to maximally simplify any invariant within seconds. We also report work in progress to extend Invar and its database to handle all differential Riemann invariants up to 12 derivatives of the metric.

引用

页码：223 / +

页数：2

共 50 条

[21] Tensor computations in computer algebra systems
Korol'kova, A. V.
Kulyabov, D. S.
Sevast'yanov, L. A.
PROGRAMMING AND COMPUTER SOFTWARE, 2013, 39 (03) : 135 - 142
[22] ENUMERATION OF THE ORDER-14 INVARIANTS FORMED FROM THE RIEMANN TENSOR
WYBOURNE, BG
MELLER, J
JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 1992, 25 (22): : 5999 - 6003
[23] On the problem of algebraic completeness for the invariants of the Riemann tensor. III.
Carminati, J
Zakhary, E
JOURNAL OF MATHEMATICAL PHYSICS, 2002, 43 (08) : 4020 - 4034
[24] ALGEBRAIC INVARIANTS OF THE RIEMANN TENSOR IN A 4-DIMENSIONAL LORENTZIAN SPACE
CARMINATI, J
MCLENAGHAN, RG
JOURNAL OF MATHEMATICAL PHYSICS, 1991, 32 (11) : 3135 - 3140
[25] ALGORITHM FOR SIMPLIFYING TENSOR EXPRESSION IN COMPUTER ALGEBRA
ILIN, VA
KRYUKOV, AP
PROGRAMMING AND COMPUTER SOFTWARE, 1993, 19 (06) : 270 - 276
[26] The identities of the algebraic invariants of the four-dimensional Riemann tensor. III
Sneddon, GE
JOURNAL OF MATHEMATICAL PHYSICS, 1999, 40 (11) : 5905 - 5920
[27] Second order scalar invariants of the Riemann tensor: Applications to black hole spacetimes
Cherubini, C
Bini, D
Capozziello, S
Ruffini, R
INTERNATIONAL JOURNAL OF MODERN PHYSICS D, 2002, 11 (06): : 827 - 841
[28] Invariants of the Riemann tensor for class B warped product space-times
Santosuosso, K
Pollney, D
Pelavas, N
Musgrave, P
Lake, K
COMPUTER PHYSICS COMMUNICATIONS, 1998, 115 (2-3) : 381 - 394
[29] The invar tensor package
Martin-Garcia, J. M.
Portugal, R.
Manssur, L. R. U.
COMPUTER PHYSICS COMMUNICATIONS, 2007, 177 (08) : 640 - 648
[30] The identities of the algebraic invariants of the four-dimensional Riemann tensor. II
Sneddon, G. E.
Journal of Mathematical Physics, 39 (03):

← 1 2 3 4 5 →