ArgoTriCS
From MaRDI portal
Software:27430
No author found.
Related Items (5)
Learning to solve geometric construction problems from images ⋮ Constructibility classes for triangle location problems ⋮ Portfolio theorem proving and prover runtime prediction for geometry ⋮ Towards an intelligent and dynamic geometry book ⋮ New dynamics in dynamic geometry: dragging constructed points
This page was built for software: ArgoTriCS
