On the comparison of proof planning systems: \textsc{clam}, \textsc{mega} and \textsc{IsaPlanner}

MaRDI QIDQ2852043zbMATH OpenFDO

Authors Louise A. Dennis, Mateja Jamnik, Martin Pollet

Publication date 7 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106001113

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 1926636
• scientific article; zbMATH DE number 1748584
• Proof planning with multiple strategies
• Towards proof planning for \(\mathcal{M}_{\omega}^+\)
• Artificial Intelligence and Symbolic Computation

Cited in

(2)

• Towards proof planning for \(\mathcal{M}_{\omega}^+\)
• Automated Deduction – CADE-20

Describes a project that uses

Uses Software

• IsaPlanner
• Lambda-Clam

This page was built for publication: On the comparison of proof planning systems: \(\lambda\)\textsc{clam}, \(\Omega\)\textsc{mega} and \textsc{IsaPlanner}

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