scientific article; zbMATH DE number 1538007

MaRDI QIDQ4518862zbMATH OpenFDO

Authors Jürgen Zimmer, Tobias Müller, Erica Melis

Publication date 13 June 2001

zbMATH Keywords

proof planning

Mathematics Subject Classification ID

Recommendations

• Constraint solving for proof planning
• scientific article; zbMATH DE number 1497744
• scientific article; zbMATH DE number 1337861
• Integrating computer algebra into proof planning
• scientific article; zbMATH DE number 1980936

Cited in

(7)

• Integrating computer algebra into proof planning
• Constraint solving for proof planning
• Knowledge-based proof planning
• Proof planning with multiple strategies
• scientific article; zbMATH DE number 1497744 (Why is no real title available?)
• scientific article; zbMATH DE number 1748584 (Why is no real title available?)
• Computer supported mathematics with MEGA

Describes a project that uses

Uses Software

• Oz

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 Q4518862)