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
- Eli Innocent Cleopas, Abanum Godspower Chukwunedum, Computational Modelling of Dynamical System and the Type of Stability , Communication In Physical Sciences: Vol. 9 No. 3 (2023): VOLUME 9 ISSUE 3
- Njoku, Kevin Ndubuisi Chikezie, Okoli, Odilichukwu Christian., A Note On The Proofs Of Cramer’s Formula , Communication In Physical Sciences: Vol. 11 No. 1 (2024): VOLUME 11 ISSUE 1
- Enefiok Archibong Etuk, Omankwu, Obinnaya Chinecherem Beloved, Human-AI Collaboration: Enhancing Decision-Making in Critical Sectors , Communication In Physical Sciences: Vol. 12 No. 2 (2025): VOLUME 12 ISSUE 2
- Emurode Williams, Lawrence Abakah, Aniedi Ojo, Chidinma Jonah, AI-Driven Analysis of Information Processing Capacity and Financial Stability in Delegated Asset , Communication In Physical Sciences: Vol. 9 No. 4 (2023): VOLUME 9 ISSUE 4
- Amarachi Nelly Charles, Oluwabukola Victoria Akinyemi, Chinyan Blessing, Leveraging Artificial Intelligence and Communication Strategies to Optimize Supply Chains, Marketing Performance, and Customer-Centric Business Decision Making , Communication In Physical Sciences: Vol. 9 No. 4 (2023): VOLUME 9 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
- 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): VOLUME 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
You may also start an advanced similarity search for this article.