Login / Signup
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