Tensor computations in computer algebra systems.

Anna V. Korolkova Dmitry S. Kulyabov Leonid A. Sevastyanov

Published in: Program. Comput. Softw. (2013)

Keyphrases

computer algebra systems
computer algebra
theorem prover
high order
higher order
theorem proving
tensor space
inference rules
genetic algorithm
artificial intelligence
probability distribution
projection matrices
tensor decomposition