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
- U. Aletan, Comparison of the Proximate and Mineral Composition of two Cowpea Varieties obtained from Mile 12 Market, Lagos , Communication In Physical Sciences: Vol. 3 No. 1 (2018): VOLUME 3 ISSUE 1
- Felicia Uchechukwu Okwunodulu, Stella Mbanyeaku Ufearoh, Amaku James Friday, Angela Nwamaka Anim, Colorimetric detection of Hg(II) ions present in industrial wastewater using zinc nanoparticle synthesized biologically with Rauwolfia vomitoria leaf extract , Communication In Physical Sciences: Vol. 5 No. 4 (2020): VOLUME 5 ISSUE 4
- Aniekan Udongwo, Oluwafisayomi Folorunso, Resource Recovery from Maize Biomass for the Synthesis of SiO2 Nanoparticles and Crystallographic Analysis for Possible Applications , Communication In Physical Sciences: Vol. 12 No. 2 (2025): VOLUME 12 ISSUE 2
- Kingsley Uchendu, Emmanuel Wilfred Okereke, A New Symmetric Bimodal Extension of Ailamujia Distribution: Properties and Application to Time Series Data , Communication In Physical Sciences: Vol. 12 No. 6 (2025): VOLUME 12 ISSUE 6
- Nsikak Bassey Essien, Chukwu Obaji Daniel, Raphael Mmenyene Paul, Synthesis and characterization of Silicon Oxide Nanoparticles using Plantain Peel as a Precursor , Communication In Physical Sciences: Vol. 11 No. 1 (2024): VOLUME 11 ISSUE 1
- Onyeije Ugomma Chibuzo, Augustine Odiba Aikoye, Chemical Information from GCMS Analysis of Acetone-Ethanol Ex-tract of Piper guineense Leaf. Part 2 , Communication In Physical Sciences: Vol. 5 No. 4 (2020): VOLUME 5 ISSUE 4
- Mohammed Hassan Ramat, Yahaya Zakari, Mohammed Usman, Isah Muhammad, Jamilu Yunusa Falgore, Hussaini Garba Dikko, The Effect of Exchange Rate on Gross Domestic Product (GDP) on the Nigerian Economy using ARDL-ECM approach , Communication In Physical Sciences: Vol. 8 No. 2 (2022): VOLUME 8 ISSUE 2
- Uzo Anekwe, Assessment of Background Ionizing Radiation and Radiological Health Risks in Federal Government Girls’ College, Imiringi, Nigeria , Communication In Physical Sciences: Vol. 11 No. 2 (2024): VOLUME 11 ISSUE 2
- Rakiya Haruna, Muneer Aziz Saleh, 222Rn activity concentration in outdoor air of Johor, Malaysia , Communication In Physical Sciences: Vol. 8 No. 2 (2022): VOLUME 8 ISSUE 2
- Kayode I. Ogungbemi, Analysis and Estimated Daily Dose Intake of Toxic Metals in Commonly Used Building Materials and Its Health Impacts on the Society in Lagos, Southwest Nigeria , Communication In Physical Sciences: Vol. 8 No. 3 (2022): VOLUME 8 ISSUE 3
You may also start an advanced similarity search for this article.