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
- Olumide Oni, Kenechukwu Francis Iloeje, Optimized Fast R-CNN for Automated Parking Space Detection: Evaluating Efficiency with MiniFasterRCNN , Communication In Physical Sciences: Vol. 12 No. 2 (2025): VOLUME 12 ISSUE 2
- Bright Okore Osu, Prisca Udodiri Duruojinkeya, The Modeling of the Worth of an Asset Using a Skew Random Pricing Tree , Communication In Physical Sciences: Vol. 10 No. 1 (2023): VOLUME 10 ISSUE 1
- Changde A. Nanfa, Musa O. Kizito, Fabian Apeh Akpah, Jimoh J. Bolaji, Mu’awiya Baba Aminu, John O. Wale , Faith Fehintoluwa Oye, Rebecca Juliet Ayanwunmi, Samson Ayobami Akinbunmi, Investigation Of Basement Aquifer Hydraulics And Protective Capacity Within Jimgbe And Environs, North Central Nigeria , Communication In Physical Sciences: Vol. 12 No. 3 (2025): VOLUME 12 ISSUE 3
- Patricia Ese Umoru, Ameh David Onu, The Redox Reaction between Di-μ-Oxo-Tetrakis (2, 2’- bipyridine) – Dimanganese (III, IV) Perchlorate and 1, 3-Dihydroxybenzene in Hydrochloric Acid , Communication In Physical Sciences: Vol. 6 No. 1 (2020): VOLUME 6 ISSUE 1
- Hauwa, I. Muhammad, Monday Musah, Sheriff Abdulfatai, Heavy Metal Concentrations in Various Species of Onion Bulbs in (Allium Spp.) Lapai Market, Niger State, Nigeria , Communication In Physical Sciences: Vol. 7 No. 2 (2021): VOLUME 7 ISSUE 2
- N. B. Essien, Sorghum Waste as an Efficient Adsorbent for the Removal of Zn2+and Cu2+ from Aqueous Medium , Communication In Physical Sciences: Vol. 5 No. 2 (2020): VOLUME 5 ISSUE 2
- Chukwunenyoke Amos-Uhegbu, Mmaduabuchi Uche Uzoegbu, Okwuchukwu Peter Odoh , Chukwudike Dandy Akoma , Hydrogeology And Ground Water Potentials Of The Pre-Cambrian Basement Rocks Of Tabe And Environs In Gwagwalada Area, Abuja North Central, Nigeria , Communication In Physical Sciences: Vol. 10 No. 1 (2023): VOLUME 10 ISSUE 1
- Ayomiposi Sodeinde, Oluwafemi Orekoya, Daniel Jayeoba, Oyebade Adepegba, Effect of Green Information and Communication Technology on Survival of Electricity Distribution Companies in Nigeria , Communication In Physical Sciences: Vol. 12 No. 3 (2025): VOLUME 12 ISSUE 3
- S. A. Odoemelam, A. M. Udongwo , Heavy Metals Pollution in Surface Water and Sediment of Lower Cross River System in Akwa Ibom State, Nigeria , Communication In Physical Sciences: Vol. 5 No. 2 (2020): VOLUME 5 ISSUE 2
- Dr. Esho, I. J., Prof. Adebayo, M. A., Prof. Olasehinde, E. F., Adsorption Performance and Modelling of Cd2+ Ions Removal Using Pyrolysed Palm Kernel Shell , Communication In Physical Sciences: Vol. 13 No. 3 (2026): Volume 13 Issue 3
You may also start an advanced similarity search for this article.