“Development of Automated Reasoning System Capable of Generating Proofs For Mathematical Theorems” (2025) Communication In Physical Sciences, 12(8), pp. 2300–2311. Available at: https://journalcps.com/index.php/volumes/article/view/612 (Accessed: 27 July 2026).