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