ATENSOR

ATENSOR - REDUCE program for tensor simplification. Nature of problem: Simplification of tensor expressions taking into account multiterm linear identities, symmetry relations and renaming dummy indices. This problem is important for the calculations in the gravity theory, differential geometry and other fields where indexed objects arise. Solution method: The group algebra technique for permutation group is applied to construct a canonical subspace and the effective algorithm for the corresponding projection. (Source: http://cpc.cs.qub.ac.uk/summaries/)

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 12 articles , 1 standard article )

Showing results 1 to 12 of 12.
Sorted by year (citations)

  1. Liu, Jiang; Ni, Feng: Distance invariant method for normalization of indexed differentials (2021)
  2. Shpiz, G. B.; Kryukov, A. P.: The method of colored graphs for simplifying expressions with indices (2021)
  3. Kulyabov, D. S.; Korol’kova, A. V.; Sevast’yanov, L. A.: New features in the second version of the Cadabra computer algebra system (2019)
  4. Shpiz, G.; Kryukov, A.: Canonical representation of polynomial expressions with indices (2019)
  5. Liu, Jiang: Normalization in Riemann tensor polynomial ring (2018)
  6. Liu, Jiang: Normalization of indexed differentials based on function distance invariants (2017)
  7. Sabahi, Farnaz; Akbarzadeh-T, Mohammad-R.: Introducing validity in fuzzy probability for judicial decision-making (2014)
  8. Liu, Jiang; Li, Hongbo; Cao, Yuanhao: Simplification and normalization of indexed differentials involving coordinate transformation (2009)
  9. Peeters, Kasper: Cadabra: a field-theory motivated symbolic computer algebra system (2007)
  10. Portugal, R.: An algorithm to simplify tensor expressions (1998)
  11. Fiedler, B.: A use of ideal decomposition in the computer algebra of tensor expressions (1997)
  12. Ilyin, V. A.; Kryukov, A. P.: ATENSOR -- REDUCE program for tensor simplification (1996)