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