Introduction to Redberry: a computer algebra system designed for tensor manipulation

Understand

In this paper we introduce Redberry --- an open source computer algebra system with native support of tensorial expressions.

• It provides basic computer algebra tools (algebraic manipulations, substitutions, basic simplifications etc.) which are aware of specific features of indexed expressions: contractions of indices, permutational symmetries, multiple index types etc.
• Redberry supports conventional \LaTeX-style input notation for tensorial expressions.
• The high energy physics package includes tools for Feynman diagrams calculation: Dirac and SU(N) algebra, Levi-Civita simplifications and tools for one-loop calculations in quantum field theory.