@article{groupalgebraictensorsprovablyoptimalequi,
  title = {Exact Symmetry as Algebra: A Machine-Verified Tensor Calculus that Enforces Physical Selection Rules},
  author = {Paulina Hoyos and Shashanka Ubaru and Dongsung Huh and Vasileios Kalantzis and Kenneth L. Clarkson and Misha Kilmer and Haim Avron and Lior Horesh},
  year = {2026},
  eprint = {2605.20440},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2605.20440},
}