- Finding tensor factorization follows the general concept of "strength reduction" (see Wiki) -> See Hartono, A. et al. (2005). Automated Operation Minimization of Tensor Contraction Expressions in Electronic Structure Calculations. In: Sunderam, V.S., van Albada, G.D., Sloot, P.M.A., Dongarra, J.J. (eds) Computational Science – ICCS 2005. ICCS 2005. Lecture Notes in Computer Science, vol 3514. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11428831_20
- In general we should investigate common optimizations performed by compilers. Some (many) of those could be applicable to tensor expressions as well
- Make sure expression t[a,i] t[b,j] H[ic,kb] H[jk,ac] and t[a,i] t[b,j] H[ik,bc] H[jc,ka] are considered equal. See PhD thesis of Anna Engels-Putzka (2009), University of Cologne