Distributed Tensor Computations: Formalizing Distributions, Redistributions, And Algorithm Derivation