MATHsAiD

MaRDI QIDQ33163swMATHFDO

Official website http://ieeexplore.ieee.org/abstract/document/4090292/

Cited in

(11)

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

This page was built for software: MATHsAiD