A Structured Reconstruction of Identity Proofs in Wu's Method for Automated Geometric Theorem Proving. - Lei, Siran; Zhou, Qixin; Guan, Hao; Rao, Yongsheng; Zhang, Jingzhong (Mathematics (2227-7390), 2026)