Eukleides
From MaRDI portal
Software:17546
swMATH5406MaRDI QIDQ17546FDOQ17546
Author name not available (Why is that?)
Cited In (5)
- New dynamics in dynamic geometry: dragging constructed points
- 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
- GeoThms -- a web system for Euclidean constructive geometry
This page was built for software: Eukleides
