scientific article; zbMATH DE number 1497744

zbMATH Open0958.68152MaRDI QIDQ4499154FDOQ4499154

Authors: Volker Sorge, Erica Melis 

Publication date: 6 March 2001

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

computer algebra systemsconstraint solversproof planners

Mathematics Subject Classification ID

Cited In (5)

• Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)