“Development of Automated Reasoning System Capable of Generating Proofs For Mathematical Theorems”. Communication In Physical Sciences, vol. 12, no. 8, Oct. 2025, pp. 2300-11, https://journalcps.com/index.php/volumes/article/view/612.