“Development of Automated Reasoning System Capable of Generating Proofs For Mathematical Theorems”, Commun. Phys. Sci, vol. 12, no. 8, pp. 2300–2311, Oct. 2025, Accessed: Jul. 27, 2026. [Online]. Available: https://journalcps.com/index.php/volumes/article/view/612