Development of Automated Reasoning System Capable of Generating Proofs For Mathematical Theorems. Communication In Physical Sciences, [S. l.], v. 12, n. 8, p. 2300–2311, 2025. Disponível em: https://journalcps.com/index.php/volumes/article/view/612. Acesso em: 27 jul. 2026.