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
- Imeh J. Okop, Richard A. Ukpe, Comparative Study of Proximate and Elemental Composition of Banana Peels and Palm Bunch as Substitutes for Preparing Alkaline Ash for Domestic Consumption , Communication In Physical Sciences: Vol. 7 No. 2 (2021): VOLUME 7 ISSUE 2
- Emeka C. Ogoko, Water Quality Assessment of Dug Wells in Lagos Island, Southwestern Nigeria , Communication In Physical Sciences: Vol. 4 No. 2 (2019): VOLUME 4 ISSUE 2
- Nyeneime W. Akpanudo, Onyeiye Ugomma Chibuzo, Musanga cecropioides Sawdust as an Adsorbent for the Removal of Methylene Blue from Aqueous Solution , Communication In Physical Sciences: Vol. 5 No. 3 (2020): VOLUME 5 ISSUE 3
- Dominic Chukwuebuka Obiegbuna, Francisca Nneka Okeke, Kingsley Chukwudi Okpala, Sivla William Tafon, Orji Prince Orji, Latitudinal ionospheric Responses to Full Halo CMEs Induced Geomagnetic Storm , Communication In Physical Sciences: Vol. 7 No. 4 (2021): VOLUME 7 ISSUE 4
- F. O. Isiogugu, ON SELECTION ALGORITHM , Communication In Physical Sciences: Vol. 3 No. 1 (2018): VOLUME 3 ISSUE 1
- Nwokem, Calvin Onyedika, Kantoma, Dogara , Zakka Israila Yashim , Zaharaddeen Nasiru Garba, Kinetic and Thermodynamic Studies on Adsorption of Pb2+ and Cr3+ from Petroleum Refinery Wastewater using Linde Type a Zeolite Nanoparticle. , 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
- 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)
- 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
You may also start an advanced similarity search for this article.