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
- 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
- Augustine Odiba Aikoye, Theoretical and Biochemical Information studies on Compounds Detected in GCMS of Ethanol Extract of Chromolaena odorate Leaf , Communication In Physical Sciences: Vol. 6 No. 1 (2020): VOLUME 6 ISSUE 1
- 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
- A. E. Chukwude, Timing noise analysis of 27 HartRAO radio pulsars , Communication In Physical Sciences: Vol. 1 No. 1 (2010): VOLUME 1 ISSUE 1
- B. Myek, S. O. Idris, A. D. Onu, M. K. Yakubu, Kinetics and Mechanism of the Oxidation of Orange II by Chlorate Ion in Aqueous Hydrochloric Acid , Communication In Physical Sciences: Vol. 5 No. 2 (2020): VOLUME 5 ISSUE 2
- Akaezue Nelson Nwagbogwu, Ngiangia Alalibor Thompson, Onyeaju Michael Chukwudi, Thermal Properties of Diffusing Species into Some Host Metals , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
You may also start an advanced similarity search for this article.