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
- 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
- Hamza Abubakar Hamza, Abubakar Danjuma Bajoga, Yusuf Mohammed Auwal, Hankouraou Seydou, Determination of Some Physicochemical Properties, Heavy Metals and Micronutrients of Some Energy Drinks Available in Nigeria , Communication In Physical Sciences: Vol. 12 No. 3 (2025): VOLUME 12 ISSUE 3
- Abdulfatai A. Otori, Akeem A. Jimoh, John T. Mathew, Development of Heterogeneous Catalyst from Waste Cow Bone Using Parinarium Macrophylum Seed Oil for Biodiesel Production , Communication In Physical Sciences: Vol. 7 No. 3 (2021): VOLUME 7 ISSUE 3
- Samuel Eguom Osim, Benefit Onu, Evaluation of Growth and Nutrient Profiles of Phaseolus vulgaris L. in Soil Treatment with Paint Waste Water , Communication In Physical Sciences: Vol. 8 No. 4 (2022): VOLUME 8 ISSUE 4
- Jeremiah Makarau Iliya, Exploring the Psychological Effect of Kaduduna State Government Teacher Dismissal Initiative From 2015 – 2023 on Chemistry Educators in Chikun L.G.A of Kaduna State, Nigeria , Communication In Physical Sciences: Vol. 9 No. 4 (2023): VOLUME 9 ISSUE 4
- Joseph Reuben Wartu, Sani Sambo Datsuqwai Mohammed, John Idakwoji , Regulatory Gene, aflaR Identification of Aflatoxigenic Moulds and total Aflatoxin estimation in Digitaria exilis and Digitaria iburua sold within Kaduna Metropolis , Communication In Physical Sciences: Vol. 9 No. 1 (2023): VOLUME 9 ISSUE 1
- Humphrey Sam Samuel, Ugo Nweke-Maraizu, Gani Johnson, Emmaneul Etim Etim, A Review of Theoretical Techniques in Corrosion Inhibition Studies , Communication In Physical Sciences: Vol. 9 No. 4 (2023): VOLUME 9 ISSUE 4
- I. O. Isaac, Synthesis Of Pharmacologically Active Hexahydroacridine-1,8 (2H, 5H)-diones using Nickel (II) Flouride Tetrahydrate as a New Heterogeneous Catalyst , Communication In Physical Sciences: Vol. 5 No. 2 (2020): VOLUME 5 ISSUE 2
- A. Abdulazeez, N. C. Nwokem, I. I. Ibrahim, A. Uthman, H. L. Zubairu, M. Abubakar, Chemical Information from Proximate and Elemental Composition of Acalypha hispida Leaf , Communication In Physical Sciences: Vol. 5 No. 2 (2020): VOLUME 5 ISSUE 2
- Uchechukwu Susan Oruma, Pius Oziri Ukoha, Collins U. Ibeji, Lawrence Nnamdi Obasi, Obinna C. Okpareke, Ebubechukwu N. Dim, Klaus Jurkschat, Ponnadurai Ramasami, Synthesis, Spectroscopic, Biological and DFT Studies of 2,4,6-Tris(4-Carboxyphenylimino-41-Formylphenoxy)-1,3,5-Triazine and its Trinuclear Dy(III) and Er(III) Salen Capped Complexes , Communication In Physical Sciences: Vol. 7 No. 3 (2021): VOLUME 7 ISSUE 3
You may also start an advanced similarity search for this article.