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
- Abubakar Tahiru, Oluwasanmi M. Odeniran, Shardrack Amoako, Developing Artificial Intelligence-Powered Circular Bioeconomy Models That Transform Forestry Residues into High-Value Materials and Renewable Energy Solutions , Communication In Physical Sciences: Vol. 8 No. 4 (2022): VOLUME 8 ISSUE 4
- Samira Sanni, A Review on machine learning and Artificial Intelligence in procurement: building resilient supply chains for climate and economic priorities , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- Samuel Omefe, Simbiat Atinuke Lawal, Sakiru Folarin Bello, Adeseun Kafayat Balogun, Itunu Taiwo, Kevin Nnaemeka Ifiora, AI-Augmented Decision Support System for Sustainable Transportation and Supply Chain Management: A Review , Communication In Physical Sciences: Vol. 7 No. 4 (2021): VOLUME 7 ISSUE 4
- Augustine Osondu Friday Ador, Isaac Mashingil Mankili, Franka Amaka Nwafor, Silas Abahia Ihedioha, Bright Okore Osu, Analyzing Market Price Equilibrium Dynamics with Differential Equations: Incorporating Government Intervention and Market Forces , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- Uzoma Ifeanyi Oduah, Felix Olayinka Osuntola, Automatic indoor Temperature Controlled Electric Fan , Communication In Physical Sciences: Vol. 12 No. 6 (2025): VOLUME 12 ISSUE 6
- Temitope Deborah Babayemi, Nafisat Olabisi Raji, Osita Victor Egwuatu, Oludoyi Mayowa Olumide, Integrating Artificial Intelligence with Assistive Technology to Expand Educational Access through Speech to Text, Eye Tracking and Augmented Reality , Communication In Physical Sciences: Vol. 7 No. 4 (2021): VOLUME 7 ISSUE 4
- Olatunde Ayeomoni, Sugar Raymond, Jude Okwuchukwu Ogene, Assessing Transparency and Accountability Mechanisms in AI-Driven Audit Tools , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- Raymond Sugar Ebere Amougou, AI-Driven DevOps: Leveraging Machine Learning for Automated Software Delivery Pipelines , Communication In Physical Sciences: Vol. 9 No. 4 (2023): VOLUME 9 ISSUE 4
- 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
- Yisa Adeniyi Abolade, Bridging Mathematical Foundations and Intelligent Systems: A Statistical and Machine Learning Approach , Communication In Physical Sciences: Vol. 9 No. 4 (2023): VOLUME 9 ISSUE 4
You may also start an advanced similarity search for this article.