swMATH15542MaRDI QIDQ27430FDOQ27430
Author name not available (Why is that?)
Official website: https://doi.org/10.1080/0952813X.2015.1132271
Source code repository: https://argo.matf.bg.ac.rs/?content=downloads
Cited In (17)
- New dynamics in dynamic geometry: dragging constructed points
- Portfolio theorem proving and prover runtime prediction for geometry
- Learning to solve geometric construction problems from images
- Constructibility classes for triangle location problems
- GCLC
- Eukleides
- ArgoCLP
- gcl
- OpenGeoProver
- TGTP
- Electronic Geometry Textbook
- WinGCLC
- sketchometry
- meSAT
- Baghera
- Towards an intelligent and dynamic geometry book
- Euclidea
This page was built for software: ArgoTriCS
