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
- Obonin, Samuel Sabastine, Amadi, Ugwulo Chinyere, Sylvanus, Kupongoh Samaila, The Effects of External Toxicants on Competitive Environment: A Mathematical Modeling Approach , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- Franklin Akwasi Adjei, Artificial Intelligence and Machine Learning in Environmental Health Science: A Review of Emerging Applications , Communication In Physical Sciences: Vol. 12 No. 5 (2025): Vol 12 ISSUE 5
- Aliyu Umar Mustapha, Abdulrahman Ndanusa , Ismail Gidado Ibrahim, A Fifth-Order Five-Stage Trigonometrically-Fitted Improved Runge-Kutta Method for Oscillatory Initial Value Problems , Communication In Physical Sciences: Vol. 7 No. 2 (2021): VOLUME 7 ISSUE 2
- Emmanuel Oluwemimo Falodun, Faith, Technology, and Safety: A Theoretical Framework for Religious Leaders Using Artificial Intelligence to Advocate for Gun Violence Prevention , Communication In Physical Sciences: Vol. 8 No. 4 (2022): VOLUME 8 ISSUE 4
- Robinson Ogochukwu , Comprehensive Review of Artificial Intelligence Contributions to Understanding Music, Religion, and Influencing Future and Emerging Global Trends Robinson Ogochukwu Isichei , Communication In Physical Sciences: Vol. 9 No. 4 (2023): VOLUME 9 ISSUE 4
- Akeem B. Disu, Oyewole A Oyelami, Solutions of Second Order-Linear Ordinary Differential Equation with Variable Coefficients by Iterative Method , Communication In Physical Sciences: Vol. 7 No. 4 (2021): VOLUME 7 ISSUE 4
- Simbiat Atinuke Lawal, Samuel Omefe, Adeseun Kafayat Balogun, Comfort Michael, Sakiru Folarin Bello, Itunu Taiwo Owen, Kevin Nnaemeka Ifiora, Circular Supply Chains in the Al Era with Renewable Energy Integration and Smart Transport Networks , Communication In Physical Sciences: Vol. 7 No. 4 (2021): VOLUME 7 ISSUE 4
- Edith Agberxonu, Abdulateef Disu, Chidin Dike, Toyosi Mustapha, Lawrence Abakah, Machine Learning and Artificial Intelligence in FinTech: Driving Innovation in Digital Payments, Fraud Detection, and Financial Inclusion , Communication In Physical Sciences: Vol. 9 No. 4 (2023): VOLUME 9 ISSUE 4
- Ifeoma Chikamma Okereke , Peace Nwagor, Chidinma Olunkwa, Amadi Innocent Uchenna, Analytical Solution on Stochastic Systems to Assess the Wealth Function of Periodic Corporate Investors , Communication In Physical Sciences: Vol. 12 No. 4 (2025): VOLUME1 2 ISSUE 4
- Abdulmuahymin Abiola Sanusi, Sani Ibrahim Doguwa, Abubakar Yahaya, Yakubu Mamman Baraya, Topp Leone Exponential – Generalized Inverted Exponential Distribution Properties and Application , Communication In Physical Sciences: Vol. 8 No. 4 (2022): VOLUME 8 ISSUE 4
You may also start an advanced similarity search for this article.