TY - RPRT TI - symveig: Verified eigenvalue enclosures for symmetry-decomposed Hermitian matrices AU - Sarang Vehale AU - Ritu Goel PY - 2026 UR - https://arxiv.org/abs/2606.16217 ID - 2606.16217 ER -