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
- Uzoma Ifeanyi Oduah, Paul Chinagorom Nwosu, Emmanuel Ayomide Agbojule , Chisom Gabriel Chukwuka , Daniel Oluwole, Ifedayo Okungbowa, Automation of electric power source changeover switches deploying artificial intelligence. , Communication In Physical Sciences: Vol. 12 No. 7 (2025): Volume 12 issue 7
- Forward Nsama, Strategic Development of AI-Driven Supply Chain Resilience Frameworks for Critical U.S. Sectors , Communication In Physical Sciences: Vol. 12 No. 5 (2025): Vol 12 ISSUE 5
- Kayode Stephen Ojo, Moruf Busari, Adeyemi Emmanuel Adeniji , Adebowale Babatunde Adeloye , Combination-Difference Synchronization of Fractional Order Chaotic Duffing Oscillator and Financial Systems With Parameter Mismatch , Communication In Physical Sciences: Vol. 11 No. 1 (2024): VOLUME 11 ISSUE 1
- Ugwuanyi Sunday C., Nwanmadu Chukwuebuka E*, Kenneth C. Ugwu*, Nweze Rosemary Chika*, Automated Hostel Allocation System In State University of Medical And Applied Sciences (SUMAS) Igbo-Eno, Enugu State Using E-Commerce. , Communication In Physical Sciences: Vol. 12 No. 8 (2025): Volume 12 Issue 8
- Robinson Ogochukwu Isichei, The Intersection of Artificial Intelligence, Music, and Religion: An Extensive Review Highlighting Contemporary and Emerging Perspectives , Communication In Physical Sciences: Vol. 9 No. 4 (2023): VOLUME 9 ISSUE 4
- Itoro Esiet Ukpe, Oluwatosin Atala, Olu Smith, Artificial Intelligence and Machine Learning in English Education: Cultivating Global Citizenship in a Multilingual World , Communication In Physical Sciences: Vol. 9 No. 4 (2023): VOLUME 9 ISSUE 4
- Christianah Oluwabunmi Ayodele, Esther Oludele Olaniyi, Chukwuebuka Francis Udokporo, Applications of AI in Enhancing Environmental Healthcare Delivery Systems: A Review , Communication In Physical Sciences: Vol. 12 No. 5 (2025): Vol 12 ISSUE 5
- 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
- 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
1-10 of 320
Next
You may also start an advanced similarity search for this article.