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
- Mujeeb Abdulrazaq, Rare-Event Prediction in Imbalanced Data: A Unified Evaluation and Optimization Framework for High-Risk Systems , Communication In Physical Sciences: Vol. 9 No. 4 (2023): VOLUME 9 ISSUE 4
- Idongesit Ignatius udo, A Comprehensive Review on Polymer Degradation: Mechanisms, Environmental Implications, and Sustainable Mitigation Strategies , Communication In Physical Sciences: Vol. 12 No. 3 (2025): VOLUME 12 ISSUE 3
- Okunade Oluwasogo Adekunle, Evaluation of Time Complexities of Bayesian Vs Hybridized Word Stemming Techniques for Advanced Fee Fraud Emails Filtering , Communication In Physical Sciences: Vol. 7 No. 2 (2021): VOLUME 7 ISSUE 2
- Ola-Buraimo Abdulrazaq Olatunji, Meshack Blessing Hosea, Foraminifera and Sequence Stratigraphy Study of the Early Maastrichtian to Paleocene Sediments of Kalambaina Formation, Sokoto Basin, Borth western Nigeria , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- Forward Nsama, Development of Sustainable Finance Strategies for Climate-Resilient Infrastructure Investments Across U.S. States , Communication In Physical Sciences: Vol. 12 No. 6 (2025): VOLUME 12 ISSUE 6
- Mikyitsabu Ago Atoshi, Ataitiya Hyelalibiya, Production and Characterization of Chemically Activated Carbon from Khaya senegalensis Shell Waste , Communication In Physical Sciences: Vol. 9 No. 4 (2023): VOLUME 9 ISSUE 4
- Nnabuk Okon Eddy, Rajni Garg, Femi Emmanuel Awe, Habibat Faith Chahul, Computational Chemistry studies of some cyano(3-phenoxyphenyl) methyl isobutyrate derived insecticides and molecular design of novel ones , Communication In Physical Sciences: Vol. 5 No. 4 (2020): VOLUME 5 ISSUE 4
- Patrick G. Udofia, Philippa C. Ojimelukwe, Olusegun A. Olaoye, Anthony N. Ukom, Moses. L. Ekanem, Immaculata I. Okparauka, Evaluation of Antioxidant Activity of Ethanol Extract of Root and Stem Bark of Moringa oleifera (MO) obtained from Utu Ikpe, Ikot Ekpene Local Government Area, Nigeria , Communication In Physical Sciences: Vol. 8 No. 1 (2022): VOLUME 8 ISSUE 1
- Mosunmade Aiyejagbara, Kevin Ejiogu, Uche Ibeneme, Tachye N.B Shekarri, A Study On The Effect Of Corn Cob Nano Particles On The Physico-Mechanical Properties Of Waste Expanded Polystyrene , Communication In Physical Sciences: Vol. 12 No. 4 (2025): VOLUME1 2 ISSUE 4
- 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
You may also start an advanced similarity search for this article.