2025. Development of Automated Reasoning System Capable of Generating Proofs For Mathematical Theorems. Communication In Physical Sciences. 12, 8 (Oct. 2025), 2300–2311.