Dr.Doodle
From MaRDI portal
Software:21952
swMATH9975MaRDI QIDQ21952FDOQ21952
Author name not available (Why is that?)
Cited In (7)
- A graphical user interface for formal proofs in geometry
- Visual Mathematics: Diagrammatic Formalization and Proof
- Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers
- Automated theorem proving in Euler diagram systems
- Inspection and selection of representations
- Vivid: a framework for heterogeneous problem solving
- Automated Reasoning
This page was built for software: Dr.Doodle
