Hiding canonicalisation in tensor computer algebra.

Dominic Price Kasper Peeters Marija Zamaklar

Published in: CoRR (2022)

Keyphrases

computer algebra
theorem prover
high order
diffusion tensor
higher order
tensor decomposition
tensor space
computer algebra systems
dimensionality reduction
tensor product
tensor factorization
bayesian networks
natural language
data representation