TY  - RPRT
TI  - Exact Symmetry as Algebra: A Machine-Verified Tensor Calculus that Enforces Physical Selection Rules
AU  - Paulina Hoyos
AU  - Shashanka Ubaru
AU  - Dongsung Huh
AU  - Vasileios Kalantzis
AU  - Kenneth L. Clarkson
AU  - Misha Kilmer
AU  - Haim Avron
AU  - Lior Horesh
PY  - 2026
UR  - https://arxiv.org/abs/2605.20440
ID  - 2605.20440
ER  -