Development of Automated Reasoning System Capable of Generating Proofs For Mathematical Theorems. Commun. Phys. Sci [Internet]. 2025 Oct. 25 [cited 2026 Jul. 27];12(8):2300-11. Available from: https://journalcps.com/index.php/volumes/article/view/612