swMATH1025MaRDI QIDQ13769FDOQ13769
Author name not available (Why is that?)
Official website: http://www.eukleides.org/
Cited In (9)
- New dynamics in dynamic geometry: dragging constructed points
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- Eukleides
- GCLCprover
- WinGCLC
- sketchometry
- GeoView
- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
- GeoThms -- a web system for Euclidean constructive geometry
This page was built for software: Xeukleides
