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
- Ubong Ime Essien, Anduang Odiongenyi, Clement Obadimu, Iniobong Enengedi, Investigation of Snail shells as an Adsorbent and Precursor for the synthesis of Calcium Oxide Nanoparticles for the Removal of Amoxicillin from Aqueous Solution , Communication In Physical Sciences: Vol. 9 No. 4 (2023): VOLUME 9 ISSUE 4
- Electrical Conductivity Profile of upper mantle in the West African Sub region , Communication In Physical Sciences: Vol. 1 No. 1 (2010): VOLUME 1 ISSUE 1
- Eneni Robert Inala, Thomas Ohwofasa Ikpesu, Subacute Effects of Sodium Lauryl Ether Sulfate on Oxidative Enzymes and Liver Responses in Clarias gariepinus: Dose and Time-Dependent Effects , Communication In Physical Sciences: Vol. 7 No. 4 (2021): VOLUME 7 ISSUE 4
- Mahmood Umar, Zubairu Ahmed, Abdullahi Mohammed Wanzan, Musa Sa'aud, Electrical Resistivity Tomography Investigation of Groundwater Contamination Pathway at Ahmadu Bello University Sewage Treatment Site. , Communication In Physical Sciences: Vol. 11 No. 1 (2024): VOLUME 11 ISSUE 1
- Imam Akintomiwa Akinlade, Musili Adeyemi Adebayo, Ahmed Olasunkanmi Tijani, Chiamaka Perpetua Ezenwaka, Obafemi Ibrahim Sikiru, Emmanuel Ayomide Oseni, The Role of Machine Learning Models in Optimizing High-Volume Customer Engagement and CRM Transformation , Communication In Physical Sciences: Vol. 8 No. 4 (2022): VOLUME 8 ISSUE 4
- A.D. Onu, Reduction of Trioxobromate(V)Ion By [Cohedtaoh21- in Acid Medium : Kinetics and Mechanism , Communication In Physical Sciences: Vol. 1 No. 1 (2010): VOLUME 1 ISSUE 1
- Edikan E. Akpanibah, Optimization of investment strategies for a Defined Contribution (DC) plan member with Couple Risky Assets, Tax and Proportional Administrative Fee , Communication In Physical Sciences: Vol. 7 No. 1 (2021): VOLUME 7 ISSUE 1
- Vivian Ifeoma Okonkwo, Gloria Chika Udeokpote, Uduak Bassey Essien, Ethanol Extract of Curcuma longa as a green corrosion inhibitor for carbon steel in solution of HCl , Communication In Physical Sciences: Vol. 8 No. 4 (2022): VOLUME 8 ISSUE 4
- Adebayo Adegbenro, Arinze Madueke, Aniedi Ojo, Cynthia Alabi, AI-Driven Wealth Advisory: Machine Learning Models for Personalized Investment Portfolios and Risk Optimization , Communication In Physical Sciences: Vol. 8 No. 4 (2022): VOLUME 8 ISSUE 4
- Magaji Ladan, Khadija Zubairu Muhammad, Shehu Habibu, Enhanced Adsorptive Removal of Pb²⁺ and Cd²⁺ Ions from Aqueous Solution Using Phosphoric Acid–Activated Rice Husk , Communication In Physical Sciences: Vol. 13 No. 2 (2026): VOLUME 13 ISSUE 2
You may also start an advanced similarity search for this article.