“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.