Cited in
(19)- Heterogeneous proofs: spider diagrams meet higher-order provers
- A graphical user interface for formal proofs in geometry
- Automated theorem proving in Euler diagram systems
- MMP/Geometer
- Vivid
- LPL software
- Visual Mathematics: Diagrammatic Formalization and Proof
- CafePie
- GROVER
- Pcoq
- GeoView
- Openproof
- Speedith
- Hyperproof
- Geometry Tutor
- VennMaster
- Vivid: a framework for heterogeneous problem solving
- Automated Reasoning
- Inspection and selection of representations
This page was built for software: Dr.Doodle
