swMATH9975MaRDI QIDQ21952FDOQ21952
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-540-25984-8_24
Cited In (19)
- A graphical user interface for formal proofs in geometry
- Heterogeneous proofs: spider diagrams meet higher-order provers
- Visual Mathematics: Diagrammatic Formalization and Proof
- MMP/Geometer
- Vivid
- LPL software
- CafePie
- GROVER
- Pcoq
- GeoView
- Openproof
- Speedith
- Hyperproof
- Geometry Tutor
- VennMaster
- 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
