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
- Kingsley Uchendu, Chinaegbomkpa Umezurike, David, Friday Adiele, Position Analysis of the Relationship Between the Naira Exchange Rate, Gb Pounds, Euro and US-Dollars , Communication In Physical Sciences: Vol. 8 No. 4 (2022): VOLUME 8 ISSUE 4
- Oladimeji Enock Oluwole, Umeh Emmanuel Chukwuebuka, Idundun Victory Toritseju, Koffa Durojaiye Jude , Obaje Vivian Onechojo , Petinrin Moses Omolayo , Adeleke Joshua Toyin, The performance analysis of a Wood-Saxon driven Quantum-Mechanical Carnot Engine , Communication In Physical Sciences: Vol. 11 No. 3 (2024): VOLUME 11 ISSUE 3
- Henry Ekene Ohaegbuchu, Boniface Ikechukwu Ijeh, Paul Igienekpeme Aigba, Obinna Christian Dinneya, Integrated Geophysical Study of Geothermal and Mineralization Potential for Energy and Strategic Resources in the Lower Benue Trough, Nigeria , Communication In Physical Sciences: Vol. 12 No. 7 (2025): VOLUME 12 ISSUE 7
- Imaobong T. Adenugba, Nkeneke E. Akpainyang , Emem I. Ntekpere, Eteyen A. Uko, Agnes M. Jones, Incidence of Tinea pedis and Eczema among Male and Female Students: Effect of Hydraulic Oil and Antifungal Creams , Communication In Physical Sciences: Vol. 6 No. 1 (2020): VOLUME 6 ISSUE 1
- Dorathy Edet Etim, Effect of Ethanolic Extract of Bryophyllum pinnatum Leaves On Haematological Parameters of Albino Wistar Rats Exposed to Cadmium Chloride , Communication In Physical Sciences: Vol. 8 No. 4 (2022): VOLUME 8 ISSUE 4
- Sowole, Prof. Olusegun Sowole, Radiological assessment of radionuclides in fishes and health risks on the consumer from Ijagun River in Ijebu area of Ogun State , Communication In Physical Sciences: Vol. 12 No. 6 (2025): VOLUME 12 ISSUE 6
- Mu’awiya Baba Aminu, Andrew Nanfa, Godwin Okumagbe Aigbadon, Simon Dalom Christopher, Idoko Eleojo Friday, Andarawus Yohanna, Abdulbariu Ibrahim, Sadiq Mohammed Salisu, Pam Dajack Dung, Francisco Sokin Paca, Simeon Tobias, Geology, Geochemical and Petrographic Studies of Lokoja Sandstone Facies: Implications on Source Area Weathering, Provenance and Tectonic Settings , Communication In Physical Sciences: Vol. 9 No. 4 (2023): VOLUME 9 ISSUE 4
- Ibrahim Usman, Williams Nashuka Kaigama, Thankgod Daniel, Abu Emmanuel Benjamin, Assessment of Water Quality from Hand Dug Wells in Kurmin Siddi, Kaduna State , Communication In Physical Sciences: Vol. 5 No. 2 (2020): VOLUME 5 ISSUE 2
- Ahamefula A. Ahuchaogu, Chukwuemeka T. Adu, Review of Reverse Osmosis as Green Technology against Water Supply: Challenges and the way Forward , Communication In Physical Sciences: Vol. 6 No. 1 (2020): VOLUME 6 ISSUE 1
- Chidi P Njoku, Raina A. Ekpewu-Ovie , Isaac O Odiba, Maduabuchi J. Nwosu, Chintua E. Igara, Isolation and Structure Elucidation of Buchholzcine A, a Novel Steroidal Cyanoformamide from the Stem Bark of Buchholzia coriacae Engler (Capparaceae) , Communication In Physical Sciences: Vol. 12 No. 4 (2025): VOLUME1 2 ISSUE 4
You may also start an advanced similarity search for this article.