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
- Dulo Chukwemeka Wegner, A Review on the Advances in Underwater Inspection of Subsea Infrastructure: Tools, Technologies, and Applications , Communication In Physical Sciences: Vol. 12 No. 5 (2025): VOLUME 12 ISSUE 5
- Mba Ebenezer Chidiebere, Ilo Somtochukwu Francis, Nwokoro Ikechukwu, Design and Implementation of an Enhanced Neuro-Fuzzy-Based Smart System for Poultry Incubators , Communication In Physical Sciences: Vol. 12 No. 5 (2025): VOLUME 12 ISSUE 5
- Felicia. O. Isiogugu, P. Pillay, C. C. Okeke, F. U. Ogbuisi, P. U.Nwokoro, Convergence Theorems for Modified Mann Reich-Sabach Iteration Scheme for Approximating the Common Solution of Equilibrium Problems and Fixed Point Problems in Hilbert Spaces with Numerical Examples , Communication In Physical Sciences: Vol. 5 No. 4 (2020): VOLUME 5 ISSUE 4
- Abidemi Emmanuel Adeniji, Ayotunde Abel Ajayi, Abiodun Isiaka Egunjobi, Kayode Stephen Ojo, Difference Synchronization of Fractional Order Chaotic Systems Via Active Control , Communication In Physical Sciences: Vol. 11 No. 3 (2024): VOLUME 11 ISSUE 3
- Humphrey Ibifubara, Hassan Saheed Ayobami, Erusiafe Nald Ese, Design And Implementation of Cost Effective SMS-Based Online Voting System for Credible election in Nigeria , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- Bright Adinchezo Adimoha , James Nwawuike Nnadi, Bright Okore Osu, Franca Amaka Nwafor, A Mixed Boundary Value Problem for a Finite Isotropic Wedge Under Antiplane Deformation , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- Bright Adinchezo Adimoha , James Nwawuike Nnadi, Bright Okore Osu, Franca Amaka Nwafor, A Mixed Boundary Value Problem for a Finite Isotropic Wedge Under Antiplane Deformation , Communication In Physical Sciences: Vol. 11 No. 4 (2024): VOLUME 11 ISSUE 4
- Humphrey Ibifubara, Hassan Saheed Ayobami, Erusiafe Nald Ese, Design And Implementation of Cost Effective SMS-Based Online Voting System for Credible election in Nigeria , Communication In Physical Sciences: Vol. 12 No. 2 (2025): VOLUME 12 ISSUE 2
- Emmanuel Acquah, Identification of Internal, Corona, and Surface Discharges in Electrical Insulation Through their Characteristics: A Case Study in Norfolk , Communication In Physical Sciences: Vol. 13 No. 2 (2026): VOLUME 13 ISSUE 2
- Benjamin Odey Omang, Microchemical characterization and stream sediment composition of alluvial gold particles from the Rafin Gora drainage system, Kushaka schist belt, North Western Nigeria , Communication In Physical Sciences: Vol. 9 No. 3 (2023): VOLUME 9 ISSUE 3
You may also start an advanced similarity search for this article.