Improving the time efficiency of proving theorems using a learning mechanism

DOI10.1080/00207160108805059MaRDI QIDQ2740950zbMATH OpenOpenAlexFDO

Authors Ahmed Almonayyes, Hazem Raafat, Rana'A Alharshani, M. 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

Recommendations

• Machine learning for first-order theorem proving
• Octopus: combining learning and parallel search
• Automatic Learning of Proof Methods in Proof Planning
• Automatic acquisition of search guiding heuristics
• Proofs as schemas and their heuristic use

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• scientific article; zbMATH DE number 527229 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• The practicality of generating semantic trees for proofs of unsatisfiability

Cited in

(4)

• scientific article; zbMATH DE number 1149430 (Why is no real title available?)
• Learning domain knowledge to improve theorem proving
• Learning-assisted theorem proving with millions of lemmas
• Octopus: combining learning and parallel search

Describes a project that uses

Uses Software

• NeuroShell 2
• TGTP

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2740950)