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
- Godwin Ezikanyi Okey, Yusuf Jibril, G. A. Olarinoye, Comparative Analyses amongst 3 Hybrid Controllers - MPC-HGAFSA, LQR-HGAFSA and PID-HGAFSA in a Micro Grid Power System Using MAD and RMSE as Measures of Performance Metrics , Communication In Physical Sciences: Vol. 10 No. 1 (2023): VOLUME 10 ISSUE 1
- 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
- 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
- Mohammed Kudu Abubakar, Balogun Monsurat O, Lambe Adesina M., Abdul-Waheed Musa, Ogunbiyi Olalekan, Jimada-Ojuolape Bilkisu, A Hybridized Artificial Neural Network and Support Vector Machine Model in Power Transmission Fault Detection , Communication In Physical Sciences: Vol. 13 No. 7 (2026): Volume 13, Issue 7
- 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
- Edith Agberxonu, Abdulateef Disu, Chidin Dike, Toyosi Mustapha, Lawrence Abakah, Machine Learning and Artificial Intelligence in FinTech: Driving Innovation in Digital Payments, Fraud Detection, and Financial Inclusion , Communication In Physical Sciences: Vol. 9 No. 4 (2023): VOLUME 9 ISSUE 4
- Franklin Akwasi Adjei, Artificial Intelligence and Machine Learning in Environmental Health Science: A Review of Emerging Applications , Communication In Physical Sciences: Vol. 12 No. 5 (2025): VOLUME 12 ISSUE 5
You may also start an advanced similarity search for this article.