scientific article; zbMATH DE number 2217734
From MaRDI portal
Publication:5699466
zbMath1073.68814MaRDI QIDQ5699466
Publication date: 26 October 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
\textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} ⋮ Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques ⋮ \textit{Theorema}: Towards computer-aided mathematical theory exploration ⋮ A new symbolic method for solving linear two-point boundary value problems on the level of operators ⋮ Synthesis of list algorithms by mechanical proving ⋮ Synthesis of sorting algorithms using multisets in \textit{Theorema} ⋮ Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema
Uses Software
