| Issue |
EAS Publications Series
Volume 30, 2008
Spanish Relativity Meeting - Encuentros Relativistas Españoles , ERE2007: Relativistic Astrophysics and Cosmology
|
|
|---|---|---|
| Page(s) | 223 - 226 | |
| DOI | https://doi.org/10.1051/eas:0830031 | |
| Published online | 30 September 2008 | |
A. Oscoz, E. Mediavilla and M. Serra-Ricart (eds)
EAS Publications Series, 30 (2008) 223-226
Invar: computer algebra for the invariants of the Riemann tensor
1
Instituto de Estructura de la Materia, CSIC,
C/ Serrano 123, 28006 Madrid, Spain
2
Laboratório Nacional de Computação Científica (LNCC),
Av. Getúlio Vargas 333, Petrópolis, RJ, CEP 25651-075, Brazil
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 × 1029 invariants with up 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.
© EAS, EDP Sciences, 2008
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.