scientific article; zbMATH DE number 1497744

MaRDI QIDQ4499154zbMATH OpenFDO

Authors Volker Sorge, Erica Melis

Publication date 6 March 2001

zbMATH Keywords

computer algebra systemsconstraint solversproof planners

Mathematics Subject Classification ID

Recommendations

• Integrating computer algebra into proof planning
• Proof planning with multiple strategies
• Constraint solving for proof planning
• scientific article; zbMATH DE number 1538007

Cited in

(5)

• Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\)
• scientific article; zbMATH DE number 1538007 (Why is no real title available?)
• scientific article; zbMATH DE number 1538012 (Why is no real title available?)
• Constraint solving for proof planning
• Knowledge-based proof planning

This page was built for publication:

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