The Invar tensor package: Differential invariants of Riemann

Abstract
The long standing problem of the relations among the scalar invariants of the Riemann tensor is computationally solved for all 6 ṡ 10
^(23)objects with up to 12 derivatives of the metric. This covers cases ranging from products of up to 6 undifferentiated Riemann tensors to cases with up to 10 covariant derivatives of a single Riemann. We extend our computer algebra system Invar to produce within seconds a canonical form for any of those objects in terms of a basis....

Title of program: Invar Tensor Package v2.0
Catalogue Id: ADZK_v2_0

Nature of problem
Manipulation and simplification of scalar polynomial expressions formed from the Riemann tensor and its covariant derivatives.

Versions of this program held in the CPC repository in Mendeley Data
ADZK_v1_0; Invar Tensor Package; 10.1016/j.cpc.2007.05.015
ADZK_v2_0; Invar Tensor Package v2.0; 10.1016/j.cpc.2008.04.018

This program has been imported from the CPC Program Library held at Queen's University Belfast (1969-2019)