Proof planning for strategy development

DOI10.1023/A:1018969728171MaRDI QIDQ1601860zbMATH OpenOpenAlexFDO

Authors Andrew Ireland, Jamie Stark

Publication date 27 June 2002

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1018969728171

zbMATH Keywords

invariant discoveryproof patchingproof planningstrategiy development

Mathematics Subject Classification ID

Recommendations

• Proof planning with multiple strategies
• Artificial Intelligence and Symbolic Computation
• scientific article; zbMATH DE number 1980936
• scientific article; zbMATH DE number 827983
• scientific article; zbMATH DE number 1926636

Cited in

(7)

• Towards learning new methods in proof planning
• scientific article; zbMATH DE number 1696826 (Why is no real title available?)
• A graphical language for proof strategies
• Strategic computation and deduction
• scientific article; zbMATH DE number 1488920 (Why is no real title available?)
• Artificial Intelligence and Symbolic Computation
• An integrated approach to high integrity software verification

Describes a project that uses

Uses Software

• Coq
• Isabelle
• HOL
• LCF
• LEGO
• CLAM

This page was built for publication: Proof planning for strategy development

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