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
- Chigozie. Chibuisi, Bright O. Osu, Kevin Ndubuisi C. Njoku, Chukwuka Fernando Chikwe, A Mathematical Investigation of Fuel Subsidy Removal and its Effects on Nigerian Economy , Communication In Physical Sciences: Vol. 11 No. 3 (2024): VOLUME 11 ISSUE 3
- Samson Osinachi Nwadibia, Henry Patrick Obong, Ephraim Okechukwu Chukwuocha, Analytical Solutions of the Schrodinger Equation with q-Deformed Modified Mobius Square Potential Using the Nikiforov-Uvarov Method , Communication In Physical Sciences: Vol. 9 No. 4 (2023): VOLUME 9 ISSUE 4
- John Chukwubuikem Ariwa, Okoche Kevin Amadi, Innocent Ajah Okoro, Nnedimma Immaculate Onaka, Comparative study on batch adsorption of Pb2+, Cd2+ and Ni2+ onto corn cob charcoal and activated silica: Kinetic and Characterization studies , Communication In Physical Sciences: Vol. 13 No. 2 (2026): VOLUME 13 ISSUE 2
- Ase M. Esabai, Edikan E. Akpanibah, Sylvanus K. Samaila, On Investment Model for a CARA Pension Scheme Member with Return of Contributions Clause for Mortgage Housing Scheme , Communication In Physical Sciences: Vol. 11 No. 3 (2024): VOLUME 11 ISSUE 3
- Umar Ahmad Isyaku, Nura Muhammad, Abdulrasheed Luqman, Aminu Sabo Muhammad, Determination of the Optimal Number of Servers in Kano Poly Micro Finance Bankeia Standards , Communication In Physical Sciences: Vol. 9 No. 2 (2023): VOLUME 9 ISSUE 2
- M. Musah, M. M. Ndamitso, H. Yerima, J. T. Mathew, G. O. Iwuchukwu, Nutritional Assessment of Vigna unguiculata sub spp. sesquipedalis Seeds , Communication In Physical Sciences: Vol. 5 No. 4 (2020): VOLUME 5 ISSUE 4
- Chidozie Izuchukwu Princeton DIM, AN INTEGRATED APPROACH TO PETROLEUM EXPLORATION IN THE EASTERN COASTAL SWAMP DEPOBELT OF THE NIGER DELTA BASIN, NIGERIA. , Communication In Physical Sciences: Vol. 2 No. 1 (2017): VOLUME 2 ISSUE 1
- Promise A. Azor, Edikan E. Akpanibah, Okechukwu I. Edozieunor, Closed Form Solutions of a Re-Insurer’s Surplus, Stochastic and Time-Dependent Investment Returns with Random Parameters , Communication In Physical Sciences: Vol. 11 No. 1 (2024): VOLUME 11 ISSUE 1
- Emmanuel Acquah, Identification of Internal, Corona, and Surface Discharges in Electrical Insulation Through their Characteristics: A Case Study in Norfolk , Communication In Physical Sciences: Vol. 13 No. 2 (2026): VOLUME 13 ISSUE 2
- Benjamin Odey Omang, Microchemical characterization and stream sediment composition of alluvial gold particles from the Rafin Gora drainage system, Kushaka schist belt, North Western Nigeria , Communication In Physical Sciences: Vol. 9 No. 3 (2023): VOLUME 9 ISSUE 3
You may also start an advanced similarity search for this article.