The following pages link to ArgoTriCS (Q27430):
Displaying 5 items.
- Constructibility classes for triangle location problems (Q294373) (← links)
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- Learning to solve geometric construction problems from images (Q2128821) (← links)
- New dynamics in dynamic geometry: dragging constructed points (Q2334574) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)