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
- E. Danladi, The Effect of Glass–Kevlar 49 Fibre Loading on the Mechanical, Thermal and Physical Properties of Polypropylene Hybrid Composites , Communication In Physical Sciences: Vol. 5 No. 2 (2020): VOLUME 5 ISSUE 2
- M. E. Khan , Synthesis, Spectroscopic Characterization and Biological Studies Of 2-{[(2-hydroxy-5-nitrophenyl)methylidene]amino} nicotinic acid and Iron (II) complexes , Communication In Physical Sciences: Vol. 5 No. 2 (2020): VOLUME 5 ISSUE 2
- Comfort M. Ngwu, Okoche K. Amadi, Augustine C. Egwu, Sorption Studies on the Removal of Industrial Dye Aniline Yellow From Aqueous Solution Using Surfactant Modified Iron Filings , Communication In Physical Sciences: Vol. 6 No. 1 (2020): VOLUME 6 ISSUE 1
- Akanimo Edet Jonah, Stevens Azubuike Odoemelam, Marc Ogbuagu, Assessment of Gaseous Pollutants, Particulate Matter and Meteorological Parameters Around Ibom Power Plant in Ikot Abasi Local Government Area Of Akwa Ibom State, Nigeria , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- Olumide Oni, Memory-Enhanced Conversational AI: A Generative Approach for Context-Aware and Personalized Chatbots , Communication In Physical Sciences: Vol. 12 No. 2 (2025): VOLUME 12 ISSUE 2
- A. Yahaya, G. Ayeni, A. U. Ochala, R.A. Larayetan, A. D. Onoja, T. C. Omale, J. A. Akor, Evaluation of mineral in the indigenous and industrially produced soya milk in the Anyigba, Kogi State , Communication In Physical Sciences: Vol. 6 No. 1 (2020): VOLUME 6 ISSUE 1
- Mercy Uwem Useh, Eno Linus, Analysis of Heavy Metals in Some Food Crops and Soils Impacted with Crude Oil in Southern Nigeria , Communication In Physical Sciences: Vol. 8 No. 4 (2022): VOLUME 8 ISSUE 4
- Franca Amaka Nwafor, Augustine Friday Osondu Ador, Stress Concentration at a Sharp Corner of an Elastic Strip under Anti-Plane Strain , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- Richard Alexis Ukpe, Joint effect of halides and Ethanol Extract of Sorghum on the Inhibition of the Corrosion of Aluminum in HCl , Communication In Physical Sciences: Vol. 4 No. 2 (2019): VOLUME 4 ISSUE 2
- Yakubu Isa, Radiya Muhammad Said, Juliet Wallen Piapna, Abdulhaq Bashir, Development and Applications of the Type II Half-Logistic Inverse Weibull Distribution , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
You may also start an advanced similarity search for this article.