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

Frederick W. Chapman

Browse the full ISSAC paper archive.