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
- 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
- Vincent Oseikhuemen Binitie, Ogaga Esharive, Solid mineral potential in the southern Benue Trough: A review , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- Itoro Esiet Udo, Imaobong Daniel Ekwere, Idongesit Bassey Anweting, Beneficiation Process of Locally Available Bentonitic Clay: An Efficient Utilization in Drilling Fluid Application in Akwa Ibom State , Communication In Physical Sciences: Vol. 12 No. 2 (2025): VOLUME 12 ISSUE 2
- Uzochukwu Anekwe, Evaluation of Radioactivity Levels in the Federal University Otuoke Laboratories, Bayelsa State, Nigeria. , Communication In Physical Sciences: Vol. 12 No. 6 (2025): VOLUME 12 ISSUE 6
- Elizabeth Chinyere Nwakorongwu, Patricia Uchechi. Kanayochi-Okpechi, Ugochukwu Joseph, Effects of Annealing Temperature on the Dual Solution Synthesis and Optical Characterization of AlS: ZnS Thin Films , Communication In Physical Sciences: Vol. 11 No. 1 (2024): VOLUME 11 ISSUE 1
- Ifeoma Vivian Nwankwo, Mbajiuka Stella Chinenye, Lovina Odoemelam, Oluchi Maduka, Analysis of Agricultural Development Programme (ADP) Promoted Agrochemical use Among Women Farmers In Abia State , Communication In Physical Sciences: Vol. 10 No. 2 (2023): VOLUME 10 ISSUE 2
- Sadiq Muhammed, Tukur Dahiru, Abubakar Yahaya, The Inverse Lomax Chen Distribution: Properties and Applications , Communication In Physical Sciences: Vol. 8 No. 3 (2022): VOLUME 8 ISSUE 3
- Obialo Solomon Onwuka, Elochukwu Pearl Echezona, Chimankpam Kenneth Ezugwu, Hydrogeology of Uburu and Environs, Southern Eastern, Nigeria , Communication In Physical Sciences: Vol. 3 No. 1 (2018): VOLUME 3 ISSUE 1
- Agada Livinus Emeka, Saleh Mustapha Babagana, Investigation of Aquifer Vulnerability in Damaturu Using Electrical Resistivity Method , Communication In Physical Sciences: Vol. 9 No. 3 (2023): VOLUME 9 ISSUE 3
- Samuel A. Egu, Akachukwu Ibezim, Efeturi A. Onoabedje, Uchechukwu C. Okoro, N-Myristoyl Transferase Inhibitors with Antifungal Activity in Quinolinequinone Series: Synthesis, In-silico Evaluation and Biological Assay , Communication In Physical Sciences: Vol. 5 No. 4 (2020): VOLUME 5 ISSUE 4
You may also start an advanced similarity search for this article.