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