The following pages link to (Q5699466):
Displaying 7 items.
- Synthesis of list algorithms by mechanical proving (Q485837) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques (Q1640636) (← links)
- Synthesis of sorting algorithms using multisets in \textit{Theorema} (Q1996870) (← links)
- \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} (Q2119984) (← links)
- A new symbolic method for solving linear two-point boundary value problems on the level of operators (Q2456540) (← links)
- Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema (Q5014671) (← links)
