Development of Automated Reasoning System Capable of Generating Proofs For Mathematical Theorems. (2025). Communication In Physical Sciences, 12(8), 2300-2311. https://journalcps.com/index.php/volumes/article/view/612