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
- Pius Onyeoziri Ukoha, Uchechukwu Ruth Obeta , Reduction of the Adipato-Bridged Binuclear Iron(III) Complex, [(Fesalen)2adi] by Thioglycolic Acid: Kinetic and Mechanistic Study , Communication In Physical Sciences: Vol. 3 No. 1 (2018): VOLUME 3 ISSUE 1
- Oyakojo Emmanuel Oladipupo, Abdulahi Opejin, Jerome Nenger, Ololade Sophiat Alaran, Coastal Hazard Risk Assessment in a Changing Climate: A Review of Predictive Models and Emerging Technologies , Communication In Physical Sciences: Vol. 12 No. 6 (2025): VOLUME 12 ISSUE 6
- Olawale Babatunde Olatinsu, Mathew Osaretin Ogieva, Amidu Abiola Ige-Adeyeye, Investigation of Frequency-dependent Conductivity Signatures of Geological Materials from Ewekoro, Eastern Dahomey Basin , Communication In Physical Sciences: Vol. 12 No. 2 (2025): VOLUME 12 ISSUE 2
- Ivwurie Wisdom, Gabriel Akindeju, Assessment of Polycyclic Aromatic Hydrocarbons in Soils from Selected Areas in Agbarho Communities, Delta State, Nigeria , Communication In Physical Sciences: Vol. 8 No. 2 (2022): VOLUME 8 ISSUE 2
- Idayat Abubakar Salau, Aminu Suleiman Mohammed, Hussaini Garba Dikko, Type I Half-Logistic Exponentiated Kumaraswamy Distribution With Applications , Communication In Physical Sciences: Vol. 12 No. 2 (2025): VOLUME 12 ISSUE 2
- S. A. Odoemelam, Assessment of Heavy Metal Status of Orashi River Along the Engenni Axis, Rivers State of Nigeria , Communication In Physical Sciences: Vol. 4 No. 2 (2019): VOLUME 4 ISSUE 2
- Atim Sunday Johnson, Idongesit Bassey Anweting, Idongesit Edem Okon, Electron Transfer Reactions of Tetrakis (2, 2- Bipyridine)-µ Oxodiiron(III) Complex and Dithionate Ion in Aqueous Acidic Media: Kinetic and Mechanistic Approach , Communication In Physical Sciences: Vol. 10 No. 1 (2023): VOLUME 10 ISSUE 1
- A. D. Onu, Kinetics of Cu2+ - Catalysed Redox Reaction of n-(2-hydroxylethyl) ethylenediaminetriacetatocobalt(III) with Hydrazine Monohydrate in Aqueous Acid , Communication In Physical Sciences: Vol. 3 No. 1 (2018): VOLUME 3 ISSUE 1
- Nwanya, Julius Chigozie, Njoku, Kevin Ndubuisi Chikezie, A New Approach to Solving Transportation Problems: The Middle Cell Method , Communication In Physical Sciences: Vol. 10 No. 3: VOLUME 10 ISSUE 3 (2023-2024)
- 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
You may also start an advanced similarity search for this article.