Introduction to Redberry: the computer algebra system designed for tensor manipulation - D. A. Bolotin; Stanislav V. Poslavsky (CoRR, 2013)