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
- Humphrey Sam Samuel, Ugo Nweke-Maraizu, Gani Johnson, Emmaneul Etim Etim, A Review of Theoretical Techniques in Corrosion Inhibition Studies , Communication In Physical Sciences: Vol. 9 No. 4 (2023): VOLUME 9 ISSUE 4
- I. O. Isaac, Synthesis Of Pharmacologically Active Hexahydroacridine-1,8 (2H, 5H)-diones using Nickel (II) Flouride Tetrahydrate as a New Heterogeneous Catalyst , Communication In Physical Sciences: Vol. 5 No. 2 (2020): VOLUME 5 ISSUE 2
- Uchechukwu Susan Oruma, Pius Oziri Ukoha, Collins U. Ibeji, Lawrence Nnamdi Obasi, Obinna C. Okpareke, Ebubechukwu N. Dim, Klaus Jurkschat, Ponnadurai Ramasami, Synthesis, Spectroscopic, Biological and DFT Studies of 2,4,6-Tris(4-Carboxyphenylimino-41-Formylphenoxy)-1,3,5-Triazine and its Trinuclear Dy(III) and Er(III) Salen Capped Complexes , Communication In Physical Sciences: Vol. 7 No. 3 (2021): VOLUME 7 ISSUE 3
- A. Abdulazeez, N. C. Nwokem, I. I. Ibrahim, A. Uthman, H. L. Zubairu, M. Abubakar, Chemical Information from Proximate and Elemental Composition of Acalypha hispida Leaf , Communication In Physical Sciences: Vol. 5 No. 2 (2020): VOLUME 5 ISSUE 2
- Elisha Karu, Buhari Magaji, Aishatu Umar Maigari, Fauziyya Aliyu Jibo, Health Risk Assessment of Heavy Metals in Soil Rhizosphere and Onion Bulbs Cultivated in Danbam Farmlands, North East, Nigeria , Communication In Physical Sciences: Vol. 7 No. 3 (2021): VOLUME 7 ISSUE 3
- 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
- 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
You may also start an advanced similarity search for this article.