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
- Tope Oyebade, Spatio-Seasonal Evaluation of Heavy Metal Pollution, Water Quality, and Ecological Risk in Lake Chad Ecosystem , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- Saidu Usman, Comparative Study of Nutrient Compositions of Some Selected Cereal Grains Available in Shuwarin Market, Jigawa State, Nigeria , Communication In Physical Sciences: Vol. 9 No. 2 (2023): VOLUME 9 ISSUE 2
- 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. , 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
- 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
You may also start an advanced similarity search for this article.