A complete classification of canonical forms of a class of Riemann tensor indexed expressions and its applications in differential geometry (Q5017839)
From MaRDI portal
scientific article; zbMATH DE number 7449157
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A complete classification of canonical forms of a class of Riemann tensor indexed expressions and its applications in differential geometry |
scientific article; zbMATH DE number 7449157 |
Statements
A complete classification of canonical forms of a class of Riemann tensor indexed expressions and its applications in differential geometry (English)
0 references
17 December 2021
0 references
\(n\)-D symbolic computation
0 references
Einstein summation convention
0 references
Riemann tensor
0 references
canonical form
0 references
mechanical theorem proving
0 references
