Development of Automated Reasoning System Capable of Generating Proofs For Mathematical Theorems
Keywords:
first-order logic (FOC), Automated Reasoning System, Automated-theorem proving (ATP), Artificial Intelligence (AI), Automatic Mathematics SolverAbstract
The increasing complexity of mathematical theorems and the demand for efficient verification methods have driven significant advancements in automated reasoning systems. This research presents the design and implementation of an Automated Reasoning System capable of generating and validating proofs for mathematical theorems using artificial intelligence and logical frameworks. The system integrates First-Order Logic (FOL) with resolution theorem-proving and heuristic search optimization to enhance proof accuracy, computational efficiency, and scalability.
Downloads
Published
2025-10-25
Issue
Section
Articles
How to Cite
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
Similar Articles
- Nnabuk Okon Eddy, Multimodal Anomaly Detection in Nuclear Power Plants Using Explainable Artificial Intelligence for Enhanced Safety and Reliability , Communication In Physical Sciences: Vol. 13 No. 3 (2026): Volume 13 Issue 3
- Enefiok Archibong Etuk, Omankwu, Obinnaya Chinecherem Beloved, Human-AI Collaboration: Enhancing Decision-Making in Critical Sectors , Communication In Physical Sciences: Vol. 12 No. 2 (2025): VOLUME 12 ISSUE 2
- Olaleye Ibiyeye, Joy Nnenna Okolo, Samuel Adetayo Adeniji, A Comprehensive Evaluation of AI-Driven Data Science Models in Cybersecurity: Covering Intrusion Detection, Threat Analysis, Intelligent Automation, and Adaptive Decision-Making Systems , Communication In Physical Sciences: Vol. 8 No. 4 (2022): VOLUME 8 ISSUE 4
- Sanusi Abdullahi Sidi, Anas Tukur Balarabe, Abdulrashid Sani, Bashar Aliyu Yauri, Zahriya L. Hassan, YOLOv8-Based Deep Learning System for Liver Tumor Detection , Communication In Physical Sciences: Vol. 13 No. 2 (2026): VOLUME 13 ISSUE 2
- Joy Nnenna Okolo, A Systematic Analysis of Artificial Intelligence and Data Science Integration for Proactive Cyber Defense: Exploring Methods, Implementation Obstacles, Emerging Innovations, and Future Security Prospects , Communication In Physical Sciences: Vol. 7 No. 4 (2021): VOLUME 7 ISSUE 4
- Eli Innocent Cleopas, Abanum Godspower Chukwunedum, Computational Modelling of Dynamical System and the Type of Stability , Communication In Physical Sciences: Vol. 9 No. 3 (2023): VOLUME 9 ISSUE 3
- Njoku, Kevin Ndubuisi Chikezie, Okoli, Odilichukwu Christian., A Note On The Proofs Of Cramer’s Formula , Communication In Physical Sciences: Vol. 11 No. 1 (2024): VOLUME 11 ISSUE 1
- Akeem B. Disu, Oyewole A Oyelami, Solutions of Second Order-Linear Ordinary Differential Equation with Variable Coefficients by Iterative Method , Communication In Physical Sciences: Vol. 7 No. 4 (2021): VOLUME 7 ISSUE 4
- Simbiat Atinuke Lawal, Samuel Omefe, Adeseun Kafayat Balogun, Comfort Michael, Sakiru Folarin Bello, Itunu Taiwo Owen, Kevin Nnaemeka Ifiora, Circular Supply Chains in the Al Era with Renewable Energy Integration and Smart Transport Networks , Communication In Physical Sciences: Vol. 7 No. 4 (2021): VOLUME 7 ISSUE 4
- Ukeme Nsikak Essien, Advances in Precision Forestry: Integrating Remote Sensing, AI, and Mechanized Operations for Sustainable Forest Management , Communication In Physical Sciences: Vol. 12 No. 8 (2025): VOLUME 12 ISSUE 8
You may also start an advanced similarity search for this article.