Frederick W. Chapman. An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra. In J. Rafael Sendra, editor, Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings. pages 50-57, ACM, 2003. [doi]
Abstract is missing.