swMATH21355MaRDI QIDQ33163FDOQ33163
Author name not available (Why is that?)
Official website: http://ieeexplore.ieee.org/abstract/document/4090292/
Cited In (10)
- Conjecture synthesis for inductive theories
- IsaCoSy
- 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
- HR
- Hipster
- QuickSpec
- Plat-Omega
- TIP
- Lemma discovery for induction. A survey
This page was built for software: MATHsAiD
