MATHsAiD

swMATH21355MaRDI QIDQ33163FDOQ33163

Author name not available (Why is that?)

Cited In (4)

• Conjecture synthesis for inductive theories
• Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques
• Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems
• Lemma discovery for induction. A survey

This page was built for software: MATHsAiD