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
- Onanuga Omotayo Aina, Titus Morrawa Ryaghan, Bello Musa Opeyemi, Momoh Daniel Clement, Goat Horn Biochar as a Low-Cost Adsorbent for the Removal of Cadmium and Zinc ions in Aqueous Solution , Communication In Physical Sciences: Vol. 10 No. 3: VOLUME 10 ISSUE 3 (2023-2024)
- Kingsley Uchendu, Emmanuel Wilfred Okereke, Exponentiated Power Ailamujia Distribution: Properties and Applications to Time Series , Communication In Physical Sciences: Vol. 12 No. 5 (2025): VOLUME 12 ISSUE 5
- Ademilola Olowofela Adeleye, Oluwafemi Clement Adeusi, Aminath Bolaji Bello, Israel Ayooluwa Agbo-Adediran, Intelligent Machine Learning Approaches for Data-Driven Cybersecurity and Advanced Protection , Communication In Physical Sciences: Vol. 7 No. 4 (2021): VOLUME 7 ISSUE 4
- Samuel Awolumate, Joshua C. Ashiedu, Empirical Assessment of Productivity and Profitability Responses to Cooperative-Based Institutional Support in Aquaculture Production Systems in Lagos State, Nigeria , Communication In Physical Sciences: Vol. 13 No. 1 (2026): VOLUME 13 ISSUE 1
- J.Y. Falgore, M. Sirajo, A. A. Umar, M. A. Aliyu, On Flexibility of Inverse Lomax-Lindley distribution , Communication In Physical Sciences: Vol. 7 No. 4 (2021): VOLUME 7 ISSUE 4
- Ikimi, Charles German, Umeoguaju, Francis Uchenna, Ononamadu, Chimaobi James, Exploration of Vitreous Biochemical Markers for Postmortem Discrimination of Carbon Monoxide Toxicity: Insights from Animal Model , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- K. G. Ta'awu, M. C. Ekanem, A. Mairo, P. G. Udofia, Sensory and market attributes of wheat-Musa. spp-soybean (WPS) flour composite bread , Communication In Physical Sciences: Vol. 5 No. 2 (2020): VOLUME 5 ISSUE 2
- Koffa Durojaiye Jude, Omonile Jocob Funsho, Oladimeji Enock Oluwole, Edogbanya Helen Olaronke, Eghaghe Osas Stephen, Vivian Onechojo Obaje, Ibrahim Toyin Taofiq, A Unique Generalization of Einstein Field Equation; Pathway for Continuous Generation of Gravitational Waves , Communication In Physical Sciences: Vol. 10 No. 1 (2023): VOLUME 10 ISSUE 1
- Kudamnya, Ebenezer Agayina, Godwin Inieke Joshua, Ochelebe, Ibu, Okon, Emmanuel Etim , Evaluation of the Hydrochemistry and Pollution Levels in Groundwater of Njahasang, Southeast Nigeria , Communication In Physical Sciences: Vol. 12 No. 3 (2025): VOLUME 12 ISSUE 3
- Kamfa A. Salisu, Mustapha Muhammad Sani, Bashir Umar, Straight Line Solutions and their Stability of Libration Points with Oblateness Primaries and Circumbinary Disc in the Elliptic R3BP , Communication In Physical Sciences: Vol. 12 No. 3 (2025): VOLUME 12 ISSUE 3
You may also start an advanced similarity search for this article.