Cited in
(10)- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
- GCLC -- a tool for constructive Euclidean geometry and more than that
- Computer proofs in plane geometry
- GeoThms -- a web system for Euclidean constructive geometry
- scientific article; zbMATH DE number 5490684 (Why is no real title available?)
- Xeukleides
- Eukleides
- Cabri
- GeoThms
- ArgoTriCS
This page was built for software: WinGCLC