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
- A.O Obioha, Spatial Variability of key climate and air quality parameters across some Nigerian cities , Communication In Physical Sciences: Vol. 12 No. 5 (2025): VOLUME 12 ISSUE 5
- Shuaibu Musa Abubakar, Aliyu Suleiman, Mohammed Abdullahi Baba, Shamsuddeen Umar Abdullahi, Aminu Adamu Bayero, Jamilu Musa Babangida, Investigation of the Effect of Gum Arabic-Rice Husk Hybrid Filler on the Mechanical Properties of Polystyrene Composite , Communication In Physical Sciences: Vol. 12 No. 7 (2025): VOLUME 12 ISSUE 7
- Onuchi.M. Mac-kalunta, Ahamefula. A. Ahuchaogu, Johnbull O .Echeme, Proximate Analysis, Thin Layer Chromatography Profile and Haematinic Activity of Organic Extracts of Brillantaisia Owariensis Leaves , Communication In Physical Sciences: Vol. 7 No. 4 (2021): VOLUME 7 ISSUE 4
- Stella Mbanyeaku Ufearoh, Onyinyechi Uloma Akoh, Christian Odih, GC-MS Characterization and Anti-Anaemic/Haematological Activity of Ethanol Extract of Solanum Aethiopicum Leaves , Communication In Physical Sciences: Vol. 12 No. 1 (2024): VOLUME 12 ISSUE 1
- Godwin Okumagbe Aigbadon, Azuka Ocheli, Tope Shade Alege, Esther Onozasi David, Petrological, palynological analysis and Geochemistry of Maastrichtian Patti Shale in some parts of the southern Bida Basin, Nigeria: Implications for provenances and hydrocarbon studies , Communication In Physical Sciences: Vol. 9 No. 3 (2023): VOLUME 9 ISSUE 3
- Naziru Imam, Isreal I. Omoniyi, Paul Ameh, Study of the Functional Groups Associated with the Corrosion Inhibition of Stainless Steel Arch Bar in Acidic Medium by Khaya Grandifolia Gum Exudate , Communication In Physical Sciences: Vol. 7 No. 4 (2021): VOLUME 7 ISSUE 4
- Muhd Auwal Zubair, Nura Muhammad, Aminu Sabo Muhammad, Abdulrasheed Luqman, Comparative Study on the Effect of Organic and Inorganic Fertilizers on Maize Yield , Communication In Physical Sciences: Vol. 8 No. 4 (2022): VOLUME 8 ISSUE 4
- Efe Jessa, Soil Stabilization Using Bio-Enzymes: A Sustainable Alternative to Traditional Methods , Communication In Physical Sciences: Vol. 2 No. 1 (2017): VOLUME 2 ISSUE 1
- Ahmed Usman`, Jimoh Raimi, Mahmood Umar, Mas’ud Shehu, Hydrogeophysical Evaluation of Groundwater Potential and Aquifer Protective Capacity in Akerebiata, Ilorin, Nigeria , Communication In Physical Sciences: Vol. 13 No. 3 (2026): Volume 13 Issue 3
- Uwaisu Yusuf, Paul A. P. Mamza, Casimir Emmanuel Gimba, Effect of Isoberlina Wood Fillers on the Mechanical and Thermal Properties of PVC Composites , Communication In Physical Sciences: Vol. 6 No. 1 (2020): VOLUME 6 ISSUE 1
You may also start an advanced similarity search for this article.