@article{kolda2009tensor,
  author={Kolda, Tamara G. and Bader, Brett W.},
  title={Tensor Decompositions and Applications},
  journal={SIAM Review},
  volume={51},
  pages={455--500},
  year={2009}}

@article{sidiropoulos2017tensor,
  author={Sidiropoulos, Nicholas D. and others},
  title={Tensor Decomposition for Signal Processing and Machine Learning},
  journal={IEEE Trans. Signal Process.},
  volume={65},
  pages={3551--3582},
  year={2017}}

@article{noether1918,
  author={Noether, Emmy},
  title={Invariante {V}ariationsprobleme},
  journal={Nachr. Ges. Wiss. G\"ottingen},
  pages={235--257},
  year={1918}}

@article{bronstein2021geometric,
  author={Bronstein, Michael M. and Bruna, Joan and Cohen, Taco and Veli\v{c}kovi\'c, Petar},
  title={Geometric Deep Learning: Grids, Groups, Graphs, Geodesics, and Gauges},
  journal={arXiv:2104.13478},
  year={2021}}

@inproceedings{weiler2019general,
  author={Weiler, Maurice and Cesa, Gabriele},
  title={General {E}(2)-Equivariant Steerable {CNN}s},
  booktitle={NeurIPS},
  year={2019}}

@inproceedings{cohen2016group,
  author={Cohen, Taco and Welling, Max},
  title={Group Equivariant Convolutional Networks},
  booktitle={ICML},
  year={2016}}

@article{thomas2018tensor,
  author={Thomas, Nathaniel and others},
  title={Tensor Field Networks},
  journal={arXiv:1802.08219},
  year={2018}}

@inproceedings{fuchs2020se3,
  author={Fuchs, Fabian and others},
  title={{SE}(3)-Transformers},
  booktitle={NeurIPS},
  year={2020}}

@article{batzner2022e3,
  author={Batzner, Simon and others},
  title={{E}(3)-Equivariant Graph Neural Networks for Interatomic Potentials},
  journal={Nat. Commun.},
  volume={13},
  pages={2453},
  year={2022}}

@inproceedings{schutt2017schnet,
  author={Sch\"utt, Kristof T. and others},
  title={{SchNet}},
  booktitle={NeurIPS},
  year={2017}}

@article{jumper2021alphafold,
  author={Jumper, John and others},
  title={Highly Accurate Protein Structure Prediction with {AlphaFold}},
  journal={Nature},
  volume={596},
  pages={583--589},
  year={2021}}

@article{kilmer2011factorization,
  author={Kilmer, Misha E. and Martin, Carla D.},
  title={Factorization Strategies for Third-Order Tensors},
  journal={Linear Algebra Appl.},
  volume={435},
  pages={641--658},
  year={2011}}

@article{kilmer2021tensor,
  author={Kilmer, Misha E. and Horesh, Lior and Avron, Haim and Newman, Elizabeth},
  title={Tensor-Tensor Products for Optimal Representation and Compression},
  journal={PNAS},
  volume={118},
  pages={e2015851118},
  year={2021}}

@article{kernfeld2015tensor,
  author={Kernfeld, Eric and Kilmer, Misha and Aeron, Shuchin},
  title={Tensor--Tensor Products with Invertible Linear Transforms},
  journal={Linear Algebra Appl.},
  volume={485},
  pages={545--570},
  year={2015}}

@book{serre1977linear,
  author={Serre, Jean-Pierre},
  title={Linear Representations of Finite Groups},
  publisher={Springer},
  year={1977}}

@article{peterweil1927,
  author={Peter, Fritz and Weyl, Hermann},
  title={Die Vollst\"andigkeit der primitiven Darstellungen},
  journal={Math. Ann.},
  volume={97},
  pages={737--755},
  year={1927}}

@article{ramakrishnan2014qm9,
  author={Ramakrishnan, Raghunathan and others},
  title={Quantum Chemistry Structures and Properties of 134 Thousand Molecules},
  journal={Sci. Data},
  volume={1},
  pages={140022},
  year={2014},
  doi={10.1038/sdata.2014.22}}

@article{eckart1936approximation,
  author={Eckart, Carl and Young, Gale},
  title={The Approximation of One Matrix by Another of Lower Rank},
  journal={Psychometrika},
  volume={1},
  pages={211--218},
  year={1936}}

@article{desilva2008tensor,
  author={de Silva, Vin and Lim, Lek-Heng},
  title={Tensor Rank and the Ill-Posedness of the Best Low-Rank Approximation Problem},
  journal={SIAM J. Matrix Anal. Appl.},
  volume={30},
  pages={1084--1127},
  year={2008}}

@article{mor2025quasitubaltensoralgebraseparable,
  author={Mor, Uria and Avron, Haim},
  title={Quasi Tubal Tensor Algebra for Separable Groups},
  journal={arXiv:2504.16231 preprint},
  year={2025}}

@article{mor2026sufficientnecessaryconditionseckartyoung,
  author={Mor, Uria},
  title={Sufficient and Necessary Conditions for an {Eckart--Young} Theorem},
  journal={arXiv:2512.24405 preprint},
  year={2026}}

@inproceedings{demoura2021lean4,
  author={de Moura, Leonardo and Ullrich, Sebastian},
  title={The {Lean}~4 Theorem Prover and Programming Language},
  booktitle={CADE},
  year={2021}}

@misc{mathlib2020,
  author={{The mathlib Community}},
  title={The {Lean} Mathematical Library},
  howpublished={\url{https://github.com/leanprover-community/mathlib4}},
  year={2020}}

@misc{geiger2022e3nn,
  author={Geiger, Mario and Smidt, Tess},
  title={\texttt{e3nn}: {E}uclidean Neural Networks},
  howpublished={\url{https://github.com/e3nn/e3nn}},
  note={arXiv:2207.09453},
  year={2022}}

@inproceedings{batatia2022mace,
  author={Batatia, Ilyes and Kovacs, David Peter and Simm, Gregor N.~C. and Ortner, Christoph and Cs\'anyi, G\'abor},
  title={{MACE}: Higher Order Equivariant Message Passing Neural Networks for Fast and Accurate Force Fields},
  booktitle={Advances in Neural Information Processing Systems (NeurIPS)},
  year={2022}}