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
- Habeeb Ayoola Ayinla, Musa Azeez Ololade, Ola-Buraimo Abdulrazaq Olatunji, Sule Peter Isaac, David Emmanuel, Baba Aminu Mu'awiya, Francis, Joseph Amobi, Hydrocarbon Generation Potential of the ETA Zuma Coal Mines, Anambra Basin, Nigeria: Insight from OrganicPetrography , Communication In Physical Sciences: Vol. 10 No. 2 (2023): VOLUME 10 ISSUE 2
- Ola-Buraimo Abdulrazaq Olatunji. , Umar Hamida, Geochemical Properties of Kalambaina Formation: Implication on Limestone and Marlstone Qualities for Industrial Uses, Sokoto Basin, Nigeria , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- G. U. Kaior, N. J. Nwodo, U. S. Oruma, A. Ibezim, A. E. Ochonogor, K. K. Onyia, Nnamdi L. Obasi, Structural, Antimicrobial and in Silico Studies of Some Schiff Bases of Trans-paramethoxycinnamaldehyde Derivatives , Communication In Physical Sciences: Vol. 5 No. 4 (2020): VOLUME 5 ISSUE 4
- Yusuf Mohammad Auwal, Hussaini Shuaibu, Muhammad Sani Isa, Study of Symmetric Nuclear Matter Properties in Non-linear Walecka Model via Relativistic Mean-field approximation at zero-temperature , Communication In Physical Sciences: Vol. 12 No. 2 (2025): VOLUME 12 ISSUE 2
- Ahmad Rufai Bala, Abdullahi Sahal , Phytochemical Screening and Anti-microbial Properties of Herbal Medicines used for Treatment of Typhoid and Bacterial/Viral Infection in Kaduna State , Communication In Physical Sciences: Vol. 11 No. 1 (2024): VOLUME 11 ISSUE 1
- : Vincent Bailey Arohunmolase , Akintunde S. Samakinde, Dawuda L. Massaquoi, Ruvimbo S. Chipunga, Daniel O. Ajibola, A Review on Rare Earth Elements (REEs) in Mine Tailings: Mineral Hosts, Extraction Chemistry, and Recovery Potential , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- Comfort M. Ngwu, Adeniji Moshood Oluwaseyi , Chioma Ikechi Harbour , The Effects of Microplastics and its Additives in Aquatic Ecosystem - A Review , Communication In Physical Sciences: Vol. 10 No. 2 (2023): VOLUME 10 ISSUE 2
- Ola-Buraimo Abdulrazaq Olatunji, Adeleye Mutiu Adesina, Yusuf Aminu, Environmental Impact Assessment of Manganese Mining Activities On Groundwater, River Water, Land, and River sediments in Daranna, Bagudo Local Government Area, Kebbi State, Nigeria , Communication In Physical Sciences: Vol. 13 No. 3 (2026): Volume 13 Issue 3
- Usman Mohammed, Doguwa Sani Ibrahim, Mohammed Aminu Sulaiman, Reuben Oluwabukunmi David, Sadiq Ibrahim Abubakar, Development of Topp-Leone Odd Fréchet Family of Distribution with Properties and Applications , Communication In Physical Sciences: Vol. 12 No. 4 (2025): VOLUME1 2 ISSUE 4
- Azuka Ocheli, Godwin Okumagbe Aigbadon, Nkonyeasua Abanjo, Subsurface Lithologies and Rock Eval Pyrolysis Analyses of Amansiodo-I and Akukwa-1 Well Sections, Nkporo Formation, Southeastern Part of the Anambra Basin, Nigeria: Implication for Petroleum Source Rock Potentials , Communication In Physical Sciences: Vol. 9 No. 2 (2023): VOLUME 9 ISSUE 2
You may also start an advanced similarity search for this article.