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
- Mercy Uwem Useh, Eno Linus, Analysis of Heavy Metals in Some Food Crops and Soils Impacted with Crude Oil in Southern Nigeria , Communication In Physical Sciences: Vol. 8 No. 4 (2022): VOLUME 8 ISSUE 4
- Franca Amaka Nwafor, Augustine Friday Osondu Ador, Stress Concentration at a Sharp Corner of an Elastic Strip under Anti-Plane Strain , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- Richard Alexis Ukpe, Joint effect of halides and Ethanol Extract of Sorghum on the Inhibition of the Corrosion of Aluminum in HCl , Communication In Physical Sciences: Vol. 4 No. 2 (2019): VOLUME 4 ISSUE 2
- Yakubu Isa, Radiya Muhammad Said, Juliet Wallen Piapna, Abdulhaq Bashir, Development and Applications of the Type II Half-Logistic Inverse Weibull Distribution , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- Daniel Chukwunonso Chukwudi, Michael Oladunjoye, Geophysical Exploration of Coastal Saline Water Intrusion: A Study of Ikoyi and Banana Island, Lagos State , Communication In Physical Sciences: Vol. 9 No. 4 (2023): VOLUME 9 ISSUE 4
- Musa M. Mbusube, Dahiru D. Muhammed, Saidu Abdullahi, Abdulaziz Bello, Hydraulic Modelling and Compression Design for High-Pressure Natural Gas Transmission: A Case Study of the Calabar–Ajaokuta Gas Pipeline System , Communication In Physical Sciences: Vol. 13 No. 2 (2026): VOLUME 13 ISSUE 2
- Mumini Itopa Abdulazeez, Habeeb Ayoola Ayinla, Jeremiah Ayok , Goodness Abraham, Zulaihat Jummai Sanni, Organic Petrographic Characterization and Paleodepositional Environment of Potential Source Rocks in the Patti Formation, Bida Basin, Nigeria , Communication In Physical Sciences: Vol. 12 No. 4 (2025): VOLUME1 2 ISSUE 4
- Kolawole Ismail Adekunle, Abubakar Yahaya, Sani Ibrahim Doguwa, Aliyu Yakubu, On the Exponentiated Type II Generalized Topp-Leone-G Family of Distribution: Properties and Applications , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- Ola-Buraimo A. Olatunji , Musa Rukaya, Granulometric and Petrographic Assessment of the Textural, Minerological and Paleoenvironment of Deposition of Gulma Sandstone Member, Gwandu Formation, Sokoto Basin, Northwestern Nigeria , Communication In Physical Sciences: Vol. 11 No. 3 (2024): VOLUME 11 ISSUE 3
- Bertha Onyenachi Akagbue Akagbue, Mu’awiya Baba Aminu , Effect of Na-22, Cl-36, 3-H, and P-32 Exposure on Laboratory Clinical Researchers , Communication In Physical Sciences: Vol. 9 No. 4 (2023): VOLUME 9 ISSUE 4
You may also start an advanced similarity search for this article.