Development of Automated Reasoning System Capable of Generating Proofs For Mathematical Theorems. Commun. Phys. Sci. 2025;12(8):2300-2311. Accessed July 27, 2026. https://journalcps.com/index.php/volumes/article/view/612