scientific article; zbMATH DE number 1538007

zbMATH Open0962.68151MaRDI QIDQ4518862FDOQ4518862

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

Publication date: 13 June 2001

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

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

zbMATH Keywords

proof planning

Mathematics Subject Classification ID

Cited In (6)

• Computer supported mathematics with \(\Omega\)MEGA
• Constraint solving for proof planning
• Integrating computer algebra into proof planning
• Knowledge-based proof planning
• Title not available (Why is that?)
• Proof planning with multiple strategies

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)