Patching faulty conjectures
From MaRDI portal
Publication:4647501
Recommendations
Cites work
- scientific article; zbMATH DE number 3702108 (Why is no real title available?)
- scientific article; zbMATH DE number 1324445 (Why is no real title available?)
- Lazy generation of induction hypotheses
- On proving the termination of algorithms by machine
- Rippling: A heuristic for guiding inductive proofs
- Two examples of computational creativity: ILP multiple predicate synthesis and the `assets' in theorem proving
Cited in
(2)
This page was built for publication: Patching faulty conjectures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4647501)