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
- Kamfa A. Salisu, Mustapha Muhammad Sani, Bashir Umar, Straight Line Solutions and their Stability of Libration Points with Oblateness Primaries and Circumbinary Disc in the Elliptic R3BP , Communication In Physical Sciences: Vol. 12 No. 3 (2025): VOLUME 12 ISSUE 3
- Isah Haruna, Yahaya Zakari, Umar Kabir Abdullahi, Reuben Oluwabukunmi David, Jamilu Yunusa Falgore, On the Study of Kumaraswamy Reduced Kies Distribution: Properties and Applications , Communication In Physical Sciences: Vol. 12 No. 3 (2025): VOLUME 12 ISSUE 3
- Chidumebi Uzoho, The Public Health Impact of Airborne Particulate Matter: Risks, Mechanisms, and Mitigation Strategies , Communication In Physical Sciences: Vol. 12 No. 2 (2025): VOLUME 12 ISSUE 2
- Ayomide Ayomikun Ajiboye, Muslihat Adejoke Gaffari, Onaara Enitan Obamuwagun, Predictive Analytics in Sport Management: Applying Machine Learning Models for Talent Identification and Team Performance Forecasting , Communication In Physical Sciences: Vol. 12 No. 7 (2025): VOLUME 12 ISSUE 7
- Joy N. Egbucha, Eze C. Victor, Nlemchukwu N.C. Benjamin, Obikee M. Caroline, Joseph N. Aniezi, Ifeanyi E. Otuokere, Phytochemical, Anti-inflammatory, Antioxidant, Toxicity and Antimicrobial Activities of Sarcophrynium brachystachys (Benth) K. Shum Leaves , Communication In Physical Sciences: Vol. 11 No. 2 (2024): VOLUME 11 ISSUE 2
- 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
- Sani Uba, Victor O. Ajibola, Oluwaseun S. Adeosun, Divine C. Ikeh, AbdulHameed. Mikail, Abel K. John, Murtala M.Ruma, Assessment of the Physicochemical Parameters, Geoaccumulation Indices and Contamination Factor of Sediments from Mairua Dam, Faskari Lga, Katsina Northwestern Nigeria , Communication In Physical Sciences: Vol. 7 No. 4 (2021): VOLUME 7 ISSUE 4
- Siaka Abdulfatai Adabara, Bleaching Potentials of Local, Foreign and Regenerated Bleaching Earth: Comparative Study , Communication In Physical Sciences: Vol. 8 No. 4 (2022): VOLUME 8 ISSUE 4
- Osondu Onwuegbuchi, Abdulaziz Olaleye Ibiyeye, Joy Nnenna Okolo, Samuel Adetayo Adeniji, Cybersecurity Risks in the Fintech Ecosystem: Regulatory and Technological Perspectives , Communication In Physical Sciences: Vol. 9 No. 4 (2023): VOLUME 9 ISSUE 4
- Gideon Wyasu, Determination of Bacteriological and some physicochemical properties of Hospital wastewater , Communication In Physical Sciences: Vol. 4 No. 2 (2019): VOLUME 4 ISSUE 2
You may also start an advanced similarity search for this article.