TY  - RPRT
TI  - A Unified Framework for Formalizing Matrix Decomposition Proofs
AU  - Wanli Ma
AU  - Zichen Wang
AU  - Zaiwen Wen
PY  - 2026
UR  - https://arxiv.org/abs/2607.05874
ID  - 2607.05874
ER  -