Eukleides
From MaRDI portal
Cited in
(12)- Xeukleides
- GCLCprover
- GeoThms
- Cabri
- WinGCLC
- sketchometry
- New dynamics in dynamic geometry: dragging constructed points
- GeoView
- GeoThms -- a web system for Euclidean constructive geometry
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- GCLC -- a tool for constructive Euclidean geometry and more than that
- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
This page was built for software: Eukleides
