swMATH8574MaRDI QIDQ20583FDOQ20583
Author name not available (Why is that?)
Official website: https://poincare.matf.bg.ac.rs/~predrag.janicic/gclc/
Cited In (9)
- Title not available (Why is that?)
- Eukleides
- Cabri
- GeoThms
- ArgoTriCS
- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
- GeoThms -- a web system for Euclidean constructive geometry
- GCLC -- a tool for constructive Euclidean geometry and more than that
- Computer proofs in plane geometry
This page was built for software: WinGCLC
