An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra.

Frederick W. Chapman

Published in: ISSAC (2003)

Keyphrases

learning algorithm
tensor product
computer algebra
machine learning
computational complexity
dynamic programming
special case
expectation maximization
distance metric
similarity measure
supervised learning
em algorithm
detection algorithm
bayesian framework
theorem prover