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

proof planninginvariant discoveryproof patchingstrategiy 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)

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

Describes a project that uses

Uses Software

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

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)