Improving the time efficiency of proving theorems using a learning mechanism

DOI10.1080/00207160108805059zbMath0976.68134OpenAlexW2013154396MaRDI QIDQ2740950

Ahmed Almonayyes, Hazem Raafat, Rana'A Alharshani, Mohammed Almulla

Publication date: 2 January 2002

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207160108805059

zbMATH Keywords

learning mechanismtheorem-provers

Mathematics Subject Classification ID

Uses Software

• NeuroShell 2
• Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• The practicality of generating semantic trees for proofs of unsatisfiability
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Improving the time efficiency of proving theorems using a learning mechanism