ArgoTriCS

swMATH15542MaRDI QIDQ27430FDOQ27430

Author name not available (Why is that?)

Cited In (5)

• 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
• Towards an intelligent and dynamic geometry book

This page was built for software: ArgoTriCS