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
Similar Articles
- Fatima Binta Adamu, Muhammad Bashir Abdullahi, Sulaimon Adebayo Bashir, Abiodun Musa Aibinu, Conceptual Design Of A Hybrid Deep Learning Model For Classification Of Cervical Cancer Acetic Acid Images , Communication In Physical Sciences: Vol. 12 No. 2 (2025): VOLUME 12 ISSUE 2
- Kubugha Wilcox Bunonyo, Innocent C. Eli, Mathematical Modeling of an Oscillatory MHD Blood Flow through a Lipid Saturated Porous Channel with Metabolic Heat and Magnetic Field , Communication In Physical Sciences: Vol. 6 No. 1 (2020): VOLUME 6 ISSUE 1
- Abdulrahman Ndanusa, Convergence of Preconditioned Gauss-Seidel Iterative Method For Matrices , Communication In Physical Sciences: Vol. 6 No. 1 (2020): VOLUME 6 ISSUE 1
- Oluwatosin Lawal, Projecting AI-Driven Intersection of FinTech, Financial Compliance, and Technology Law , Communication In Physical Sciences: Vol. 12 No. 2 (2025): VOLUME 12 ISSUE 2
- Humphrey Sam Samuel, Emmanuel Edet Etim, John Paul Shinggu, Bulus. Bako , Machine learning of Rotational spectra analysis in interstellar medium , Communication In Physical Sciences: Vol. 10 No. 1 (2023): VOLUME 10 ISSUE 1
- Michael Oladipo Akinsanya, Oluwafemi Clement Adeusi, Kazeem Bamidele Ajanaku, A Detailed Review of Contemporary Cyber/Network Security Approaches and Emerging Challenges , Communication In Physical Sciences: Vol. 8 No. 4 (2022): VOLUME 8 ISSUE 4
- Abdulateef Oluwakayode Disu, Henry Makinde, Olajide Alex Ajide, Aniedi Ojo, Martin Mbonu, Artificial Intelligence in Investment Banking: Automating Deal Structuring, Market Intelligence, and Client’s Insights Through Machine Learning , Communication In Physical Sciences: Vol. 8 No. 4 (2022): VOLUME 8 ISSUE 4
- 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
- Ololade Omosunlade, Curriculum Framework for Entrepreneurial Innovation among Special Needs Students in the Age of Artificial Intelligence , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- 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
You may also start an advanced similarity search for this article.