Algorithm synthesis by lazy thinking: examples and implementation in Theorema

MaRDI QIDQ2847391zbMATH OpenFDO

Authors Bruno Buchberger, Adrian Crăciun

Publication date 9 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S157106610400012X

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Algorithm synthesis by lazy thinking: using problem schemes
• scientific article; zbMATH DE number 2217734
• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• Synthesis of list algorithms by mechanical proving
• scientific article; zbMATH DE number 108494

Cited in

(7)

• Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques
• Synthesis of sorting algorithms using multisets in \textit{Theorema}
• Algorithm synthesis by lazy thinking: using problem schemes
• Synthesis of list algorithms by mechanical proving
• scientific article; zbMATH DE number 2217734 (Why is no real title available?)
• Automated programming, symbolic computation, machine learning: my personal view
• \textit{Theorema}: Towards computer-aided mathematical theory exploration

Describes a project that uses

Uses Software

• Theorema

This page was built for publication: Algorithm synthesis by lazy thinking: examples and implementation in Theorema

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