scientific article; zbMATH DE number 2217734

MaRDI QIDQ5699466zbMATH OpenFDO

Authors Bruno Buchberger

Publication date 26 October 2005

zbMATH Keywords

algorithm inventionalgorithm verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Algorithm synthesis by lazy thinking: examples and implementation in Theorema
• Algorithm synthesis by lazy thinking: using problem schemes
• Artificial Intelligence and Symbolic Computation
• Mathematical Theory Exploration
• Synthesis of list algorithms by mechanical proving

Cited in

(9)

• Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques
• Synthesis of sorting algorithms using multisets in \textit{Theorema}
• \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema}
• A new symbolic method for solving linear two-point boundary value problems on the level of operators
• Algorithm synthesis by lazy thinking: examples and implementation in Theorema
• Algorithm synthesis by lazy thinking: using problem schemes
• Synthesis of list algorithms by mechanical proving
• Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema
• \textit{Theorema}: Towards computer-aided mathematical theory exploration

Describes a project that uses

Uses Software

• Theorema

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 Q5699466)