Cabri
From MaRDI portal
Cited in
(11)- GCLC -- a tool for constructive Euclidean geometry and more than that
- Sketch-based pruning of a solution space within a formal geometric constraint solver
- Electronic Geometry Textbook: a geometric textbook knowledge management system
- The use of WPF for development of interactive geometry software
- Cabri-geometry
- Eukleides
- Geometrijica
- Cabri 3D
- WinGCLC
- LeActiveMath
- WPF
This page was built for software: Cabri
