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
- S. A. Odoemelam, Assessment of Heavy Metal Pollution in Surface Water of the Qua Iboe River, Aka Ibom State, Nigeria , Communication In Physical Sciences: Vol. 5 No. 2 (2020): VOLUME 5 ISSUE 2
- Felicia Uchechukwu Okwunodulu, Okechukwu Chimereoke Lord Ubani, Immaculate Nnedimma Onaka, Emeka Junior Chika, Kinetic studies on the sequestration of Pb2+ and Ni2+ ions in aqueous solutions using manganese nanoparticles anchored in ixora coccinea , Communication In Physical Sciences: Vol. 12 No. 8 (2025): VOLUME 12 ISSUE 8
- Nsor Ofo Alobi, Onyeije Ugomma Chibuzo , Wood Saw Dust as Adsorbent for the Removal of Direct Red (DR) Dye from Aqueous Solution , Communication In Physical Sciences: Vol. 4 No. 2 (2019): VOLUME 4 ISSUE 2
- Orjiocha, Samuel Ibezim, Excess Parameters of Binary Mixtures of Nitrobenzene-Dimethyl Sulphoxide (Nb-Dmso) , Communication In Physical Sciences: Vol. 8 No. 4 (2022): VOLUME 8 ISSUE 4
- Okoro Gladys Ihuoma, Nnochiri Ifeoma U., Design and Implementation of an IoT Microcontroller Power Protection and Control System , Communication In Physical Sciences: Vol. 12 No. 5 (2025): VOLUME 12 ISSUE 5
- 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
- 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
- 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
You may also start an advanced similarity search for this article.