Algorithm synthesis by lazy thinking: using problem schemes

MaRDI QIDQ3416408zbMATH OpenFDO

Authors Bruno Buchberger, Adrian Crăciun

Publication date 22 January 2007

zbMATH Keywords

knowledge managementlazy thinking

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Algorithm synthesis by lazy thinking: examples and implementation in Theorema
• scientific article; zbMATH DE number 2217734
• Lazy synthesis
• scientific article; zbMATH DE number 3934387
• Synthesis of list algorithms by mechanical proving

Cited in

(7)

• A verified common lisp implementation of Buchberger's algorithm in ACL2
• Synthesis of sorting algorithms using multisets in \textit{Theorema}
• \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema}
• Algorithm synthesis by lazy thinking: examples and implementation in Theorema
• Synthesis of list algorithms by mechanical proving
• Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema
• scientific article; zbMATH DE number 2217734 (Why is no real title available?)

Describes a project that uses

Uses Software

• Theorema
• KIDS

This page was built for publication: Algorithm synthesis by lazy thinking: using problem schemes

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