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
- Azeh Yakubu, Mohammed Aliyu-Paiko, Asseh Emmanuel, The Potential of Arginine-Modified Nanoclay Suspension Against Fungi and Bacteria Infestation in Maize and Groundnut , Communication In Physical Sciences: Vol. 12 No. 2 (2025): VOLUME 12 ISSUE 2
- Eteyen Uko, Microbiological Analysis and Antibiogram of Blood Pressure Cuffs in Some Primary Health Centres in Ikot Ekpene Metropolis, South- South Nigeria , Communication In Physical Sciences: Vol. 12 No. 6 (2025): VOLUME 12 ISSUE 6
- Thomas Ndidi Asiwe, Idongesit Bassey Anweting, Atim Sunday Johnson, Nzikahyel Simon, Solomon Enejo Shaibu, Eco-Friendly Synthesis and Characterization of Silver and Zinc Nanoparticles Using Aqueous Extract from the Bark of Antiaris toxicaria , Communication In Physical Sciences: Vol. 12 No. 1 (2024): VOLUME 12 ISSUE 1
- Azuka Ocheli, Godwin Okumagbe Aigbadon, Mineralogical and geochemical evaluations of Quaternary sedimentary clay formation, Niger Delta Basin, Nigeria: Depositional environments, provenance and paleoclimatic outcomes in Umukwata and its environs case study , Communication In Physical Sciences: Vol. 13 No. 2 (2026): VOLUME 13 ISSUE 2
- Henry Ekene Ohaegbuchu, Obinna Christian Dinneya, Chukwunenyoke Amos-Uhegbu, Paul Igienekpeme Aigba, Groundwater quality index (GQI) assessment of 12 wells in a rural area , Communication In Physical Sciences: Vol. 10 No. 2 (2023): VOLUME 10 ISSUE 2
- Ola-Buraimo Abdulrazaq Olatunji., Meshack Blessing Hosea, Foraminifera and Sequence Stratigraphy Study of the Early Maastrichtian to Paleocene Sediments of Kalambaina Formation, Sokoto Basin, Borth western Nigeria , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- Yusuf Mohammad Auwal, Hussaini Shuaibu, Muhammad Sani Isa, Study of Symmetric Nuclear Matter Properties in Non-linear Walecka Model via Relativistic Mean-field approximation at zero-temperature , Communication In Physical Sciences: Vol. 12 No. 2 (2025): VOLUME 12 ISSUE 2
- Habeeb Ayoola Ayinla, Musa Azeez Ololade, Ola-Buraimo Abdulrazaq Olatunji, Sule Peter Isaac, David Emmanuel, Baba Aminu Mu'awiya, Francis, Joseph Amobi, Hydrocarbon Generation Potential of the ETA Zuma Coal Mines, Anambra Basin, Nigeria: Insight from OrganicPetrography , Communication In Physical Sciences: Vol. 10 No. 2 (2023): VOLUME 10 ISSUE 2
- Ola-Buraimo Abdulrazaq Olatunji. , Umar Hamida, Geochemical Properties of Kalambaina Formation: Implication on Limestone and Marlstone Qualities for Industrial Uses, Sokoto Basin, Nigeria , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- G. U. Kaior, N. J. Nwodo, U. S. Oruma, A. Ibezim, A. E. Ochonogor, K. K. Onyia, Nnamdi L. Obasi, Structural, Antimicrobial and in Silico Studies of Some Schiff Bases of Trans-paramethoxycinnamaldehyde Derivatives , Communication In Physical Sciences: Vol. 5 No. 4 (2020): VOLUME 5 ISSUE 4
You may also start an advanced similarity search for this article.