The following pages link to MATHsAiD (Q33163):
Displaying 4 items.
- Conjecture synthesis for inductive theories (Q438543) (← links)
- Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques (Q1640636) (← links)
- Lemma discovery for induction. A survey (Q2287904) (← links)
- Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems (Q5428269) (← links)
