APA (7th ed.) Citation

Lei, S., Zhou, Q., Guan, H., Rao, Y., & Zhang, J. (2026). A Structured Reconstruction of Identity Proofs in Wu's Method for Automated Geometric Theorem Proving. Mathematics (2227-7390), 14(13), 2442. https://doi.org/10.3390/math14132442

Chicago Style (17th ed.) Citation

Lei, Siran, Qixin Zhou, Hao Guan, Yongsheng Rao, and Jingzhong Zhang. "A Structured Reconstruction of Identity Proofs in Wu's Method for Automated Geometric Theorem Proving." Mathematics (2227-7390) 14, no. 13 (2026): 2442. https://doi.org/10.3390/math14132442.

MLA (9th ed.) Citation

Lei, Siran, et al. "A Structured Reconstruction of Identity Proofs in Wu's Method for Automated Geometric Theorem Proving." Mathematics (2227-7390), vol. 14, no. 13, 2026, p. 2442, https://doi.org/10.3390/math14132442.