Integrating constraint solving into proof planning

DOI10.1007/10720084_3MaRDI QIDQ4518862zbMATH OpenFDO

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

Publication date 13 June 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10720084_3

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: Integrating constraint solving into proof planning

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