scientific article; zbMATH DE number 1538007

MaRDI QIDQ4518862zbMATHFDO

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

(6)

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

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)