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
- 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
- Confidence Ifeoma Odoh, Nweze Rosemary Chika Nweze, Ukamaka Victoria Maduahonwu, Development of an Enhanced Predictive Maintenance Models for Industrial Systems using Deep Learning Techniques , Communication In Physical Sciences: Vol. 13 No. 1 (2026): VOLUME 13 ISSUE 1
- 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
- Amadi Ugwulo Chinyere, Modelling Glucose-Insulin Dynamics: Insights for Diabetes Management , Communication In Physical Sciences: Vol. 11 No. 3 (2024): VOLUME 11 ISSUE 3
- Olalekan Akanji Bello, Sani Ibrahim Doguwa, Abubakar Yahaya, Haruna Mohammed Jibril , A Type I Half Logistic Exponentiated-G Family of Distributions: Properties and Application , Communication In Physical Sciences: Vol. 7 No. 3 (2021): VOLUME 7 ISSUE 3
- Musa Ndamadu Farouq, Nwaze Obini Nweze, Monday Osagie Adenomon, Mary Unekwu Adehi, Derivation of a New Odd Exponential-Weibull Distribution , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- Innocent C. Eli, Godspower C. Abanum, Comparison Between Analytical and Numerical Result of Stability Analysis of a Dynamical System , Communication In Physical Sciences: Vol. 5 No. 4 (2020): VOLUME 5 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.