Pages that link to "Item:Q2879097"
From MaRDI portal
The following pages link to Theorema 2.0: A System for Mathematical Theory Exploration (Q2879097):
Displayed 6 items.
- Theorema (Q13705) (← links)
- Synthesis of sorting algorithms using multisets in \textit{Theorema} (Q1996870) (← links)
- \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} (Q2119984) (← links)
- Mathematical Theory Exploration in Theorema: Reduction Rings (Q2817288) (← links)
- Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema (Q5014671) (← links)
- Experiments with automated reasoning in the class (Q6102980) (← links)