scientific article; zbMATH DE number 1748584
From MaRDI portal
Publication:4530469
Recommendations
- Plans and planning in mathematical proofs
- Constraint solving for proof planning
- Proof planning: A practical approach to mechanized reasoning in mathematics
- scientific article; zbMATH DE number 1926636
- scientific article; zbMATH DE number 827983
- scientific article; zbMATH DE number 1538007
- scientific article; zbMATH DE number 1696826
- Proof planning with multiple strategies
- Knowledge-based proof planning
- scientific article; zbMATH DE number 2090054
Cited in
(14)- Adaptation of declaratively represented methods in proof planning
- Decision planning knowledge representation framework: A case-study
- Knowledge-based proof planning
- Proof planning with multiple strategies
- A proof-planning framework with explicit abstractions based on indexed formulas
- On the comparison of proof planning systems: \(\lambda\)\textsc{clam}, \(\Omega\)\textsc{mega} and \textsc{IsaPlanner}
- Concept Formation via Proof Planning Failure
- scientific article; zbMATH DE number 4072439 (Why is no real title available?)
- scientific article; zbMATH DE number 1302386 (Why is no real title available?)
- scientific article; zbMATH DE number 1980936 (Why is no real title available?)
- scientific article; zbMATH DE number 1926636 (Why is no real title available?)
- Representing knowledge with theories about theories
- scientific article; zbMATH DE number 827983 (Why is no real title available?)
- Experiments with proof plans for induction
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 Q4530469)
