Tensor computations in computer algebra systems.

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

Published in: CoRR (2014)

Keyphrases

computer algebra systems
computer algebra
theorem prover
high order
theorem proving
higher order
diffusion tensor
structure tensor
tensor space
dt mri
tensor decomposition
diffusion tensor images
expert systems
tensor product